package inferno

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Generalization.Make`Source

module S : UnifierSig.STRUCTURE

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

Sourceval fresh : U.variable S.structure option -> U.variable

Sourcetype scheme

Sourceval quantifiers : scheme -> U.variable list

Sourceval body : scheme -> U.variable

Sourcetype state

Sourceval show_state : string -> state -> unit

Sourceval init : unit -> state

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

Sourceval registered : U.variable -> bool

Sourceval trivial : U.variable -> scheme

Sourceval enter : state -> unit

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

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