Library MetaCoq.Template.config

Class checker_flags := {
  

  
  check_univs : bool ;

  
  allow_cofix : bool ;

  
  prop_sub_type : bool
}.