Module `Region_numeric_offset.Make`

Parameters

module Scalar : Sig.BASE

Signature

module Offset : sig ... end

include Memory_sig.OFFSET_AND_MAKE_BLOCK
  with module Scalar = Scalar
   and module Offset := Offset

module Scalar = Scalar

module Make_Block
  (Value : Memory_sig.VALUE with module Scalar = Scalar) : 
  Memory_sig.BLOCK
    with module Scalar = Scalar
     and module Value = Value
     and module Offset = Offset
     and type boolean = Value.boolean

Module Region_numeric_offset.Make

Parameters

Signature

Module `Region_numeric_offset.Make`