sig
  val wrap_proxy : Hydro_types.proxy_addr -> 'Hydro_lm.proxy_reference
  val unwrap_proxy : 'Hydro_lm.proxy_reference -> Hydro_types.proxy_addr
  val of_proxy_reference :
    'Hydro_lm.proxy_reference option -> Hydro_types.value
  val to_proxy_reference :
    Hydro_types.value -> 'Hydro_lm.proxy_reference option
end