Skip to main content

Module infer

Module infer 

Source

Functions§

infer_expr
Infer the type of an expression given the current type environment.