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 variable

val fresh : variable O.structure option -> variable

type ischeme

type rawco =

exception Unbound of X.tevar

exception Unify of variable * variable

exception Cycle of variable

val solve : bool -> rawco -> unit

val decode_variable : variable -> O.tyvar

type decoder = variable -> O.ty

val new_decoder : bool -> decoder

val decode_scheme : decoder -> ischeme -> O.scheme