Module Ocaml_typing.Solver_intf

module type Equal = sig ... end
module type Lattices = sig ... end

A collection of lattices, indexed by obj;

module type Lattices_mono = sig ... end

Extend Lattices with monotone functions (including identity) to form a category. Among those monotone functions some will have left and right adjoints.

type 'd branch =
  1. | Join : ('l * Allowance.disallowed) branch
  2. | Meet : (Allowance.disallowed * 'r) branch
constraint 'd = _ * _
module type Solver_mono = sig ... end
module type Hint = sig ... end

Hint module to be provided by the user of the solver.

module type S = sig ... end