C.Constant (r, s, Some tt, u, a)
| C.Fixpoint (b, cs, a) ->
C.Fixpoint (b, L.map proc_fun cs, a)
(* interface functions ******************************************************)
C.Constant (r, s, Some tt, u, a)
| C.Fixpoint (b, cs, a) ->
C.Fixpoint (b, L.map proc_fun cs, a)
(* interface functions ******************************************************)