package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Memory_domains.Block_smashing`

module Make
  (Value : Memory_sig.FIXED_SIZE_VALUE_DOMAIN)
  (Offset : Memory_sig.OFFSET with module Scalar = Value.Scalar) : 
  Memory_sig.BLOCK
    with module Scalar = Value.Scalar
     and module Value = Value
     and module Offset = Offset