8 arities : (var * int) list;
\r
10 apps : (var * (var list)) list;
\r
15 | `Var _ | `Lam _ as t -> t
\r
18 let apps = List.assoc v p.apps in
\r
20 let s, freshvar = mk_freshvar s
\r
22 aux (mk_apps v (Listx.map ))
\r
24 | Not_found -> `I(v, Listx.map (replace s) tms)
\r
29 let iteration : state -> state = fun s ->
\r
30 let terms = Util.concat_map (replace s) s.terms in
\r