WebAssembly type

32-bit integer

64-bit integer

32-bit floating point number

64-bit floating point number

Generic reference

Function reference

Function type

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.

Return type

nothing returns nothing.

ret1 typ constructs a return type for one value of type typ.

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.

Something that can be given to a WebAssembly module via an import

Construct an extern function.