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 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