V (p.owi.0.2.doc.owi.Owi.V)

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.t

Sourcetype vbool = Bool.t

Sourcetype int32 = Int32.t

Sourcetype int64 = Int64.t

Sourcetype float32 = Float32.t

Sourcetype float64 = Float64.t

type ref_value = Concrete_value.ref_value

type t = Concrete_value.t =

| I32 of int32
| I64 of int64
| F32 of float32
| F64 of float64
| Ref of ref_value

Sourceval const_i32 : Int32.t -> int32

Sourceval const_i64 : Int64.t -> int64

Sourceval const_f32 : Float32.t -> float32

Sourceval const_f64 : Float64.t -> float64

val ref_null : Types.simplified Types.heap_type -> t

val ref_func : Func_intf.t -> t

val ref_externref : 'a Type.Id.t -> 'a -> t

val ref_is_null : ref_value -> vbool

val pp : Format.formatter -> t -> unit

Sourcemodule Ref : sig ... end

Sourcemodule Bool : sig ... end

Sourcemodule F32 : sig ... end

Sourcemodule F64 : sig ... end

Sourcemodule I32 : sig ... end

Sourcemodule I64 : sig ... end