* http://cs.unibo.it/helm/.
*)
+(* $Id$ *)
+
let rec unshare =
let module C = Cic in
function
C.MutCase (sp, i, unshare outty, unshare t,
List.map unshare pl)
| C.Fix (i, fl) ->
- let len = List.length fl in
let liftedfl =
List.map
(fun (name, i, ty, bo) -> (name, i, unshare ty, unshare bo))
in
C.Fix (i, liftedfl)
| C.CoFix (i, fl) ->
- let len = List.length fl in
let liftedfl =
List.map
(fun (name, ty, bo) -> (name, unshare ty, unshare bo))