Module Mlvalue.Block

val make : tag:int -> desc:Code.Block_desc.t -> args:Javascript.element list -> Javascript.expression

Introcaml: with introspection enabled, desc is stored in the header word, above the tag.

val reserved_bits : int

The number of reserved header bits (Introcaml), which hold the descriptor of a block.

The header word of a block with the given tag and reserved bits; the reserved bits are dropped when introspection is disabled.

val max_header : unit -> Javascript.expression

The largest header word of a block.

The tag of a block, without the descriptor bits.

set_tag e tag updates the tag of block e in place, keeping its descriptor. e may be evaluated more than once.

The reserved header bits of a block.

set_reserved e bits updates the reserved header bits of block e in place, keeping its tag. e may be evaluated more than once.