ocaml-base-compiler

Official release 4.12.1
IN THIS PACKAGE
module L = Linear
module type S_subrange_state = sig ... end

The type of caller-defined contextual state associated with subranges. This may be used to track information throughout the range-computing process.

module type S_subrange_info = sig ... end

The type of caller-defined information associated with subranges.

module type S_range_info = sig ... end

The type of caller-defined information associated with ranges.

module type S_functor = sig ... end

This module type specifies what the caller has to provide in order to instantiate a module to compute ranges.

module type S = sig ... end

This module type is the result type of the Compute_ranges.Make functor.