Plasma GitLab Archive
Projects Blog Knowledge

Module Hydro_lm.Unsafe


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
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml