package inferno

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module X : SolverSig.TEVAR

module S : UnifierSig.STRUCTURE

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

type range = Lexing.position * Lexing.position

type variable

val fresh : unit -> variable

type _ 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

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

exception Unbound of range * X.tevar

exception Unify of range * O.ty * O.ty

exception Cycle of range * O.ty

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