Lines Matching refs:mk_var
627 val P = mk_var{Name=Pname, Ty=ty}
628 val Q = mk_var{Name=Qname, Ty=ty}
1338 val fv = mk_var{Name=Name, Ty = itlist mkfty xs Ty}
1386 val x = variant vars (mk_var{Name=varnm, Ty=ty1})
1444 local val f = mk_var{Name="f",Ty=alpha-->bool}
1681 val P = mk_var{Name="P", Ty=alpha-->bool}
1713 val x = mk_var{Name="x",Ty=ty}
1714 and y = mk_var{Name="y",Ty=ty}
1715 and z = mk_var{Name="z",Ty=ty}
1791 val newv = mk_var{Name=vname, Ty=ty}