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 `Unifier.Make`Source

module S : UnifierSig.STRUCTURE

Sourcetype 'a structure = 'a S.structure

Sourcetype variable

Sourceval id : variable -> int

Sourceval structure : variable -> variable structure option

Sourceval set_structure : variable -> variable structure option -> unit

Sourceval rank : variable -> int

Sourceval set_rank : variable -> int -> unit

Sourceval adjust_rank : variable -> int -> unit

Sourceval fresh : variable structure option -> int -> variable

Sourceexception Unify of variable * variable

Sourceval unify : variable -> variable -> unit

Sourcemodule VarMap : Hashtbl.S with type key = variable

Sourceval equivalent : variable -> variable -> bool

Sourceval is_representative : variable -> bool

Sourceexception Cycle of variable

Sourceval new_occurs_check : (variable -> bool) -> variable -> unit

val new_acyclic_decoder : 
  (variable -> 'a) ->
  ('a structure -> 'a) ->
  variable ->
  'a

val new_cyclic_decoder : 
  (variable -> 'a) ->
  ('a structure -> 'a) ->
  (variable -> 'a -> 'a) ->
  variable ->
  'a