Kwasm.validation.type

Validator for a FunctionType node.

From the docs:

Function types may not specify more than one result.

[tn^1] => [tm^2]

• The arity m must not be larger than 1.
• Then the function type is valid.

Validator of GlobalType nodes.

From the docs:

• The global type is valid.

Validator of Limits nodes.

From the docs:

Limits must have meaningful bounds that are within a given range.

{min n, max m?}

• The value of n must not be larger than k.

• If the maximum m? is not empty, then:

  • Its value must not be larger than k.
  • Its value must not be smaller than n.
• Then the limit is valid within range k.

Validator of MemoryType nodes.

From the docs:

• The limits limits must be valid within range 2^16.
• Then the memory type is valid.

Validator for TableType nodes.

From the docs:

• The limits limits must be valid within range 2^32.
• Then the table type is valid.