/test/coq/pass/

• ../
• allpats.sail
• atom.sail
• avoid_lit.sail
• castunitvec.sail
• exatom.sail
• fncasts.sail
• foreach_using_tyvar.sail
• irref.sail
• rangepair.sail
• rangetest.sail
• rebind.sail
• unbound_ex_tyvars.sail
• unpacking.sail
• while_MM_terminating.sail
• while_MP_terminating.sail
• while_PM_terminating.sail
• while_PP_terminating.sail