Module type_op 

Functions

provide 🔒

type_op_ascribe_user_type 🔒

type_op_normalize 🔒

type_op_normalize_clause 🔒

type_op_normalize_fn_sig 🔒

type_op_normalize_poly_fn_sig 🔒

type_op_normalize_ty 🔒

type_op_prove_predicate 🔒