Source file logtk.ml

(* generated by dune *)

(** @canonical Logtk.Binder *)
module Binder = Logtk__Binder

(** @canonical Logtk.Builtin *)
module Builtin = Logtk__Builtin

(** @canonical Logtk.Cnf *)
module Cnf = Logtk__Cnf

(** @canonical Logtk.Comparison *)
module Comparison = Logtk__Comparison

(** @canonical Logtk.Compute_prec *)
module Compute_prec = Logtk__Compute_prec

(** @canonical Logtk.Congruence *)
module Congruence = Logtk__Congruence

(** @canonical Logtk.Congruence_intf *)
module Congruence_intf = Logtk__Congruence_intf

(** @canonical Logtk.DBEnv *)
module DBEnv = Logtk__DBEnv

(** @canonical Logtk.Defined_pos *)
module Defined_pos = Logtk__Defined_pos

(** @canonical Logtk.Dtree *)
module Dtree = Logtk__Dtree

(** @canonical Logtk.FV_tree *)
module FV_tree = Logtk__FV_tree

(** @canonical Logtk.FeatureVector *)
module FeatureVector = Logtk__FeatureVector

(** @canonical Logtk.Fingerprint *)
module Fingerprint = Logtk__Fingerprint

(** @canonical Logtk.FixpointUnif *)
module FixpointUnif = Logtk__FixpointUnif

(** @canonical Logtk.Flex_state *)
module Flex_state = Logtk__Flex_state

(** @canonical Logtk.HO_unif *)
module HO_unif = Logtk__HO_unif

(** @canonical Logtk.HVar *)
module HVar = Logtk__HVar

(** @canonical Logtk.Hash *)
module Hash = Logtk__Hash

(** @canonical Logtk.Hashcons *)
module Hashcons = Logtk__Hashcons

(** @canonical Logtk.IArray *)
module IArray = Logtk__IArray

(** @canonical Logtk.ID *)
module ID = Logtk__ID

(** @canonical Logtk.Ind_ty *)
module Ind_ty = Logtk__Ind_ty

(** @canonical Logtk.Index *)
module Index = Logtk__Index

(** @canonical Logtk.Index_intf *)
module Index_intf = Logtk__Index_intf

(** @canonical Logtk.InnerTerm *)
module InnerTerm = Logtk__InnerTerm

(** @canonical Logtk.Input_format *)
module Input_format = Logtk__Input_format

(** @canonical Logtk.Interfaces *)
module Interfaces = Logtk__Interfaces

(** @canonical Logtk.JPFull *)
module JPFull = Logtk__JPFull

(** @canonical Logtk.JP_unif *)
module JP_unif = Logtk__JP_unif

(** @canonical Logtk.Lambda *)
module Lambda = Logtk__Lambda

(** @canonical Logtk.LazyList *)
module LazyList = Logtk__LazyList

(** @canonical Logtk.Literal *)
module Literal = Logtk__Literal

(** @canonical Logtk.Literals *)
module Literals = Logtk__Literals

(** @canonical Logtk.Multiset *)
module Multiset = Logtk__Multiset

(** @canonical Logtk.Multiset_intf *)
module Multiset_intf = Logtk__Multiset_intf

(** @canonical Logtk.Multisets *)
module Multisets = Logtk__Multisets

(** @canonical Logtk.NPDtree *)
module NPDtree = Logtk__NPDtree

(** @canonical Logtk.Options *)
module Options = Logtk__Options

(** @canonical Logtk.Ordering *)
module Ordering = Logtk__Ordering

(** @canonical Logtk.Output_format *)
module Output_format = Logtk__Output_format

(** @canonical Logtk.PUnif *)
module PUnif = Logtk__PUnif

(** @canonical Logtk.ParseLocation *)
module ParseLocation = Logtk__ParseLocation

(** @canonical Logtk.PatternUnif *)
module PatternUnif = Logtk__PatternUnif

(** @canonical Logtk.Polynomial *)
module Polynomial = Logtk__Polynomial

(** @canonical Logtk.Position *)
module Position = Logtk__Position

(** @canonical Logtk.PragUnifParams *)
module PragUnifParams = Logtk__PragUnifParams

(** @canonical Logtk.Precedence *)
module Precedence = Logtk__Precedence

(** @canonical Logtk.Proof *)
module Proof = Logtk__Proof

(** @canonical Logtk.Rewrite *)
module Rewrite = Logtk__Rewrite

(** @canonical Logtk.SLiteral *)
module SLiteral = Logtk__SLiteral

(** @canonical Logtk.STerm *)
module STerm = Logtk__STerm

(** @canonical Logtk.Scoped *)
module Scoped = Logtk__Scoped

(** @canonical Logtk.Signal *)
module Signal = Logtk__Signal

(** @canonical Logtk.Signature *)
module Signature = Logtk__Signature

(** @canonical Logtk.Skolem *)
module Skolem = Logtk__Skolem

(** @canonical Logtk.SolidSubsumption *)
module SolidSubsumption = Logtk__SolidSubsumption

(** @canonical Logtk.SolidUnif *)
module SolidUnif = Logtk__SolidUnif

(** @canonical Logtk.Statement *)
module Statement = Logtk__Statement

(** @canonical Logtk.Subst *)
module Subst = Logtk__Subst

(** @canonical Logtk.Term *)
module Term = Logtk__Term

(** @canonical Logtk.Type *)
module Type = Logtk__Type

(** @canonical Logtk.TypeInference *)
module TypeInference = Logtk__TypeInference

(** @canonical Logtk.TypedSTerm *)
module TypedSTerm = Logtk__TypedSTerm

(** @canonical Logtk.Unif *)
module Unif = Logtk__Unif

(** @canonical Logtk.UnifFramework *)
module UnifFramework = Logtk__UnifFramework

(** @canonical Logtk.Unif_constr *)
module Unif_constr = Logtk__Unif_constr

(** @canonical Logtk.Unif_intf *)
module Unif_intf = Logtk__Unif_intf

(** @canonical Logtk.Unif_subst *)
module Unif_subst = Logtk__Unif_subst

(** @canonical Logtk.UntypedAST *)
module UntypedAST = Logtk__UntypedAST

(** @canonical Logtk.Util *)
module Util = Logtk__Util

(** @canonical Logtk.Var *)
module Var = Logtk__Var

(** @canonical Logtk.ZProf *)
module ZProf = Logtk__ZProf