package codex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Conversions.Convert_Block_Forward`Source

module C : Conversion

module F : sig ... end

Sourcetype boolean = F.boolean

Sourcetype offset = F.offset

Sourcetype value = F.value

Sourcetype block = F.block

Sourceval sizeof : (block, offset) C.To_Arity.ar1

Size of a block in bytes

Sourceval concat : (block, block, block) C.To_Arity.ar2

Concatenates two blocks

Sourceval load : size:Units.In_bits.t -> (block, offset, value) C.To_Arity.ar2

Loads (extracts) a value of a fixed size at a given index from a block

val store : 
  size:Units.In_bits.t ->
  (block, offset, value, block) C.To_Arity.ar3

Stores (writes) a fixed size value of a given index in a block

Sourceval binary_to_block : size:Units.In_bits.t -> (value, block) C.To_Arity.ar1

Converts a fixed size value to a block