Lines Matching defs:typ
172 val (typ, types) = let
208 val var = Psyntax.mk_var(app_letter typ, typ)
222 val accfn_types = map (fn x => (typ --> x)) types
267 map (fn (s,t) => (s, t --> typ --> type_subst s typ)) fupd_fun_types
425 val var1 = mk_var(app_letter typ ^ "1", typ)
426 val var2 = mk_var(app_letter typ ^ "2", typ)
494 val arb = mk_arb typ
515 val typ' = type_of var'
525 val pred_r = mk_var_avds("P", typ' --> bool, var::value_vars)