let mk_pattern psno ity predicate =
clear_absts (convert (generalize psno) ity) psno 0 predicate
+let beta v = function
+ | C.ALambda (_, _, _, t) -> subst 1 v t
+ | _ -> assert false
+
let get_clears c p xtypes =
let meta = C.Implicit None in
let rec aux c names p it et = function