package codex

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

Module Memory_domains.Region_numeric_offset

Lifts a Scalar domain into a Memory_domain, which directly uses the Scalar as offsets in a finite, contiguous memory region (implemented using Fully_expanded_finite_region)

module Make (Scalar : Sig.BASE) : sig ... end