package codex

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

Module Flexible_array_member.MakeComplete

Parameters

module Block : Memory_sig.BLOCK with module Scalar = Sub.Scalar and module Offset = Sub.Offset and module Value = Sub.Address

Signature

module Scalar = Sub.Scalar
module Offset : Memory_sig.OFFSET with module Scalar = Scalar
module Block : Memory_sig.BLOCK with module Scalar = Scalar and module Offset = Offset and module Value = Value
module Memory : Memory_sig.MEMORY with module Scalar = Scalar and module Address := Value and module Block := Block