V_______________________________________________________________ *)
module P = Printf
+module C = Cps
module L = Log
module A = Aut
module R = AutProcess
let c = {c with grefs = succ c.grefs} in
let c = {c with pars = c.pars + List.length ts} in
let c = {c with xnodes = succ c.xnodes + List.length ts} in
- Cps.list_fold_left f count_term c ts
+ C.list_fold_left f count_term c ts
| A.Appl (v, t) ->
let c = {c with appls = succ c.appls; xnodes = succ c.xnodes} in
let f c = count_term f c t in