Module Symbolic_value.Ref

val get_externref : ref_value -> 'a Type.Id.t -> 'a Value_intf.get_ref