exception CouldNotFreeze of string;;
exception CouldNotUnfreeze of string;;
exception Object_not_found of UriManager.uri;;
exception CouldNotFreeze of string;;
exception CouldNotUnfreeze of string;;
exception Object_not_found of UriManager.uri;;
C.MutCase (recons uri, i, restore_in_term outty, restore_in_term t,
List.map restore_in_term pl)
| C.Fix (i, fl) ->
C.MutCase (recons uri, i, restore_in_term outty, restore_in_term t,
List.map restore_in_term pl)
| C.Fix (i, fl) ->
let liftedfl =
List.map
(fun (name, i, ty, bo) ->
let liftedfl =
List.map
(fun (name, i, ty, bo) ->
let liftedfl =
List.map
(fun (name, ty, bo) -> (name, restore_in_term ty, restore_in_term bo))
let liftedfl =
List.map
(fun (name, ty, bo) -> (name, restore_in_term ty, restore_in_term bo))
* return the object,ugraph
*)
let add_trusted_uri_to_cache uri =
* return the object,ugraph
*)
let add_trusted_uri_to_cache uri =