On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package inferno
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Parameters
module X : SolverSig.TEVARmodule S : UnifierSig.STRUCTUREmodule O : SolverSig.OUTPUT with type 'a structure = 'a S.structureSignature
val fresh : variable O.structure option -> variabletype range = Lexing.position * Lexing.positiontype rawco = | CRange of range * rawco| CTrue| CConj of rawco * rawco| CEq of variable * variable| CExist of variable * rawco| CInstance of X.tevar * variable * variable list WriteOnceRef.t| CDef of X.tevar * variable * rawco| CLet of (X.tevar * variable * ischeme WriteOnceRef.t) list * rawco * rawco * variable list WriteOnceRef.t
val solve : bool -> rawco -> unitval new_decoder : bool -> decoderOn This Page