package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Domains for offset indices.

include module type of Offset_intf.Index
module type Printable = sig ... end

Subinterface of IntDomain.Z which is sufficient for Printable (but not Lattice) Offset.

module type Lattice = IntDomain.Z
module Unit : Printable with type t = unit

Unit index. Usually represents an arbitrary index.

module Exp : sig ... end
module Z : Printable with type t = Z.t

Z index. Represents a definite index.

OCaml

Innovation. Community. Security.