Lines Matching defs:avoid
27 fun make_variant_list n s avoid [] = []
28 | make_variant_list n s avoid (h::t) =
29 let val v = variant avoid (mk_var(s^Int.toString n, h))
30 in v::make_variant_list (n + 1) s (v::avoid) t
43 fun aux res n m avoid ty = let
45 val args = make_variant_list m "x" avoid arg_tyL
46 val b = variant (args @ avoid) (mk_var("f"^Int.toString n, ty))
48 ((args, b) :: res, n+1, m+(length arg_tyL), b::(args@avoid))
51 val (args, _, _, _) = foldl (fn (ty, (res, n, m, avoid)) =>
52 aux res n m avoid ty) ([], 0, 0, [arg0]) (tl tyL)
102 val avoid = input_arg :: flatten (List.map (fn (args, b) => (b :: args)) case_args)
103 val const = variant avoid (mk_var ("c", base_ty))
146 val avoid = input_arg :: flatten (List.map (fn (args, b) => (b :: args)) case_args)
147 val input_arg' = variant avoid input_arg
148 val (avoid, case_args') = Lib.foldl_map (fn (av, (args, v)) =>
150 (v' :: av, (args, v')) end) (input_arg'::avoid, case_args)
199 val avoid = input_arg :: flatten (List.map (fn (args, b) => (b :: args)) case_args)
201 val const = variant avoid (mk_var ("f", base_ty --> res_ty))
236 val avoid = input_arg :: flatten (List.map (fn (args, b) => (b :: args)) case_args)
237 val const = variant avoid (mk_var ("x", res_ty))
272 val avoid = input_arg :: flatten (List.map (fn (args, b) => (b :: args)) case_args)
273 val const = variant avoid (mk_var ("x", res_ty))