Module `Convert_to_monadic.Block_Forward`

type boolean = D.boolean

type offset = D.offset

type value = D.binary

type block = D.block

val sizeof : (block, offset) Conversion.To_Arity.ar1

val concat : (block, block, block) Conversion.To_Arity.ar2

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

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

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

Module Convert_to_monadic.Block_Forward