Module context

Module context 

Source
Expand description

Definition of InferCtxtLike from the librarified type layer.