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 S : UnifierSig.STRUCTURE

module U : UnifierSig.UNIFIER with type 'a structure = 'a S.structure

type scheme

val quantifiers : scheme -> U.variable list

val body : scheme -> U.variable

type state

val show_state : string -> state -> unit

val init : unit -> state

val no_rank : int

val register : state -> U.variable -> unit

val trivial : U.variable -> scheme

val enter : state -> unit

val exit : bool -> state -> U.variable list -> U.variable list * scheme list

val instantiate : state -> scheme -> U.variable list * U.variable