Module fields 

Functions

check_field 🔒

Check the type of a field. The returned type has two binders, the outer binder is the class, the inner binder is the self place.

field_err_ty 🔒