Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package tezos-wasmer
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Config : sig ... endmodule Engine : sig ... endmodule Store : sig ... endmodule Ref : sig ... endval i32 : int32 typ32-bit integer
val i64 : int64 typ64-bit integer
val f32 : float typ32-bit floating point number
val f64 : float typ64-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 retnothing 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 ... endmodule Memory : sig ... endmodule Instance : sig ... endmodule Exports : sig ... end