module L = Linearize
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.