package inferno

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `SolverLo.Make`Source

module X : SolverSig.TEVAR

module S : UnifierSig.STRUCTURE

module O : SolverSig.OUTPUT with type 'a structure = 'a S.structure

Sourcetype range = Lexing.position * Lexing.position

Sourcetype variable

Sourceval fresh : unit -> variable

Sourcetype _ rawco =

| CRange : range * 'a rawco -> 'a rawco
| CTrue : unit rawco
| CConj : 'a rawco * 'b rawco -> ('a * 'b) rawco
| CEq : variable * variable -> unit rawco
| CExist : variable * variable O.structure option * 'a rawco -> 'a rawco
| CWitness : variable -> O.ty rawco
| CInstance : X.tevar * variable -> O.ty list rawco
| CDef : X.tevar * variable * 'a rawco -> 'a rawco
| CLet : (X.tevar * variable) list * 'a rawco * 'b rawco -> (O.tyvar list * (X.tevar * O.scheme) list * 'a * 'b) rawco
| CMap : 'a rawco * ('a -> 'b) -> 'b rawco

Sourceval print_rawco : Format.formatter -> _ rawco -> unit

Sourceexception Unbound of range * X.tevar

Sourceexception Unify of range * O.ty * O.ty

Sourceexception Cycle of range * O.ty

Sourceval solve : rectypes:bool -> 'a rawco -> 'a