Lines Matching refs:mk_var
1108 (GEN_ALPHA_CONV (mk_var((s^Int.toString n),ty))
1120 fun mkv ty = let val newv = mk_var((s^Int.toString(!count_ref)),ty)
1143 fun mkv ty = let val newv = mk_var((s^Int.toString(!count_ref)),ty)
1193 fun mkv ty = let val newv = mk_var((s^Int.toString(!count_ref)),ty)
1314 fun mkv ty = let val newv = mk_var(("v"^Int.toString(!count_ref)),ty)
1377 mk_var(name,``:^time_ty -> ^ty``)
1895 bus_split(mk_var((name^Int.toString n),``:^ty1->^vty``)))
1918 [mk_var("load",load_ty),
1919 bus_split(mk_var("inp",inp_ty)),
1920 mk_var("done",done_ty),
1921 bus_split(mk_var("out",out_ty))]
2010 val f = mk_var("f",fty)
2011 val P = mk_var("P",fty --> bool)
2015 val init_vars = map mk_var