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 =

| Join : ('l * Ocaml_typing.Allowance.disallowed) Ocaml_typing.Solver_intf.branch
| Meet : (Ocaml_typing.Allowance.disallowed * 'r) Ocaml_typing.Solver_intf.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

Module Ocaml_typing.Solver_intf

Module `Ocaml_typing.Solver_intf`