C.MutCase (sp, i, unshare outty, unshare t,
List.map unshare pl)
| C.Fix (i, fl) ->
C.MutCase (sp, i, unshare outty, unshare t,
List.map unshare pl)
| C.Fix (i, fl) ->
let liftedfl =
List.map
(fun (name, i, ty, bo) -> (name, i, unshare ty, unshare bo))
let liftedfl =
List.map
(fun (name, i, ty, bo) -> (name, i, unshare ty, unshare bo))
let liftedfl =
List.map
(fun (name, ty, bo) -> (name, unshare ty, unshare bo))
let liftedfl =
List.map
(fun (name, ty, bo) -> (name, unshare ty, unshare bo))