/test/coq/pass/

• ../
• allpats.sail
• ast_with_dep_tuple.sail
• atom.sail
• avoid_lit.sail
• booltyparam.sail
• castunitvec.sail
• exatom.sail
• fncasts.sail
• foreach_using_tyvar.sail
• irref.sail
• loops_with_rich_var.sail
• mutrec.sail
• non_exh_exc.sail
• rangepair.sail
• rangetest.sail
• rebind.sail
• returnwithfact.sail
• throw_fact.sail
• unbound_ex_tyvars.sail
• unpacking.sail
• var_type_autocast.sail
• while_MM_terminating.sail
• while_MP_terminating.sail
• while_PM_terminating.sail
• while_PP_terminating.sail
• wildcardmerge.sail