package codex

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

Parameter Make.Sub

module Scalar : Sig.BASE
module Offset : Memory_sig.OFFSET with module Scalar = Scalar
module Address : Memory_sig.ADDRESS with module Scalar = Scalar
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