Module `Logtk`

module Binder : sig ... end

module Builtin : sig ... end

module Cnf : sig ... end

module Comparison : sig ... end

module Compute_prec : sig ... end

module Congruence : sig ... end

module Congruence_intf : sig ... end

The congruence stores a finite representation of a set of (ground) equations an inequalities. It is backtrackable, ie one can go back to a previous point as long as it is compatible with a LIFO usage.

module DBEnv : sig ... end

module Defined_pos : sig ... end

module Dtree : sig ... end

module FV_tree : sig ... end

module FeatureVector : sig ... end

module Fingerprint : sig ... end

module FixpointUnif : sig ... end

module Flex_state : sig ... end

module HO_unif : sig ... end

module HVar : sig ... end

module Hash : sig ... end

module Hashcons : sig ... end

module IArray : sig ... end

module ID : sig ... end

module Ind_ty : sig ... end

module Index : sig ... end

module Index_intf : sig ... end

module InnerTerm : sig ... end

module Input_format : sig ... end

module Interfaces : sig ... end

module JPFull : sig ... end

module JP_unif : sig ... end

module Lambda : sig ... end

module LazyList : sig ... end

module Literal : sig ... end

module Literals : sig ... end

module Multiset : sig ... end

module Multiset_intf : sig ... end

module Multisets : sig ... end

module NPDtree : sig ... end

module Options : sig ... end

module Ordering : sig ... end

module Output_format : sig ... end

module PUnif : sig ... end

module ParseLocation : sig ... end

module PatternUnif : sig ... end

module Polynomial : sig ... end

module Position : sig ... end

module PragUnifParams : sig ... end

module Precedence : sig ... end

module PrefWeight : sig ... end

module Proof : sig ... end

module Rewrite : sig ... end

module SLiteral : sig ... end

module STerm : sig ... end

module Scoped : sig ... end

module Signal : sig ... end

module Signature : sig ... end

module Skolem : sig ... end

module SolidSubsumption : sig ... end

module SolidUnif : sig ... end

module Statement : sig ... end

module Subst : sig ... end

module Term : sig ... end

module Type : sig ... end

module TypeInference : sig ... end

module TypedSTerm : sig ... end

module Unif : sig ... end

module UnifFramework : sig ... end

module Unif_constr : sig ... end

module Unif_intf : sig ... end

module Unif_subst : sig ... end

module UntypedAST : sig ... end

module Util : sig ... end

module Var : sig ... end

module ZProf : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/logtk/Logtk/index.html

Module `Logtk`

package logtk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/logtk/Logtk/index.html

Module Logtk

Module `Logtk`