package octez-l2-libs
module Config : sig ... end
module Engine : sig ... end
module Store : sig ... end
module Ref : sig ... end
val i32 : int32 typ
32-bit integer
val i64 : int64 typ
64-bit integer
val f32 : float typ
32-bit floating point number
val f64 : float typ
64-bit floating point number
x @-> f
composes a function type such that x
is in the contravariant position and f
in the covariant position.
returning1 ret
describes a function that receives no arguments and returns a single value of type ret
.
val nothing : unit ret
nothing
returns nothing.
a @** b
composes two types as a tuple return type such that two values of respectively type a
and b
are returned.
x @* xs
composes things similarly to @**
with the addition that the second parameter may already be a composite type.
returning ret
constructs a function type which receives no parameters from the WebAssembly side, but returns values as described by ret
.
producer ret
works similar to returning
but adds an extra unit argument so that the effects of the implementing function trigger at call time.
module Module : sig ... end
module Memory : sig ... end
module Instance : sig ... end
module Exports : sig ... end