Library MetaCoq.Template.config
Class
checker_flags
:= {
check_univs
:
bool
;
allow_cofix
:
bool
;
prop_sub_type
:
bool
}.