Module representability 

Functions

check_representability 🔒

check_representability_adt_ty 🔒

check_representability_ty 🔒

params_in_repr 🔒

params_in_repr_ty 🔒

provide 🔒