sig
val wrap_proxy : Hydro_types.proxy_addr -> 'a Hydro_lm.proxy_reference
val unwrap_proxy : 'a Hydro_lm.proxy_reference -> Hydro_types.proxy_addr
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
end
