package inferno

  1. Overview
  2. Docs

Parameters

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

Signature

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
OCaml

Innovation. Community. Security.