package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Value_union_concatenation.Make

Parameters

Signature

include Memory_sig.WHOLE_MEMORY_DOMAIN with module Scalar = Sub.Scalar and module Offset = Sub.Offset and module Address.Context = Sub.Address.Context and module Address.Scalar = Sub.Address.Scalar
module Scalar = Sub.Scalar
module Offset = Sub.Offset
module Make_Memory (Block : Memory_sig.BLOCK with module Scalar = Scalar and module Offset = Offset) : Memory_sig.MEMORY with module Scalar = Scalar and module Address := Address and module Block := Block