include Value_intf.T
with type vbool = Bool.t
and type int32 = Int32.t
and type int64 = Int64.t
and type float32 = Float32.t
and type float64 = Float64.t
and type ref_value = Concrete_value.ref_value
and type t = Concrete_value.ttype vbool = Bool.ttype int32 = Int32.ttype int64 = Int64.ttype float32 = Float32.ttype float64 = Float64.ttype ref_value = Concrete_value.ref_valueval ref_null : Types.simplified Types.heap_type -> tval ref_func : Func_intf.t -> tval pp : Format.formatter -> t -> unitmodule Ref : sig ... endmodule Bool : sig ... endmodule F32 : sig ... endmodule F64 : sig ... endmodule I32 : sig ... endmodule I64 : sig ... end