module Unsafe: sig
.. end
Functions that can break the type safety of the language mapping
val wrap_proxy : Hydro_types.proxy_addr -> 'a Hydro_lm.proxy_reference
Create a proxy reference. Note that the correctness of 't
is
not checked
val unwrap_proxy : 'a Hydro_lm.proxy_reference -> Hydro_types.proxy_addr
Get the proxy specification from a reference
val of_proxy_reference : 'a Hydro_lm.proxy_reference option -> Hydro_types.value
val to_proxy_reference : Hydro_types.value -> 'a Hydro_lm.proxy_reference option
Conversion from/to value