Lines Matching defs:ty
17 | SOME ty => List.filter (fn t => type_of t = ty) bvars
22 val ty = case tyr of NONE => gen_ty gen | SOME ty => ty
24 mk_var((if can dom_rng ty then "f" else "x") ^
25 Int.toString (Random.range(0,25) gen), ty)
36 val rng_ty = case tyr of NONE => gen_ty gen | SOME ty => ty
71 | SOME ty => let
75 if ty = bool then
79 else if n < 0.3 then mk_arb ty
82 case Lib.total dom_rng ty of
84 if ty = bool andalso sz > 2 andalso n < 0.4 then let