Opam Package logtk.1.6

Package info

opam-namelogtk
opam-version1.6
synopsisCore types and algorithms for logic
authors
  • Simon Cruanes
  • Petar Vukmirovic
  • Alexander Bentkamp
  • Sophie Tourret
  • Visa Nummelin
homepagehttps://github.com/sneeuwballen/zipperposition
readme-fileREADME.md
deps (13)
revdeps (3)
metas (5)
libraries (5)

Package modules

Package sources

logtk

Package files

lib/stublibs/dlllogtk_stubs.so
lib/logtk/solving/lpo.mli
lib/logtk/solving/lpo.ml
lib/logtk/solving/logtk_solving__Lpo.cmx
lib/logtk/solving/logtk_solving__Lpo.cmti
lib/logtk/solving/logtk_solving__Lpo.cmt
lib/logtk/solving/logtk_solving__Lpo.cmi
lib/logtk/solving/logtk_solving.ml
lib/logtk/solving/logtk_solving.cmxs
lib/logtk/solving/logtk_solving.cmxa
lib/logtk/solving/logtk_solving.cmx
lib/logtk/solving/logtk_solving.cmt
lib/logtk/solving/logtk_solving.cmi
lib/logtk/solving/logtk_solving.cma
lib/logtk/solving/logtk_solving.a
lib/logtk/solving
lib/logtk/signal.mli
lib/logtk/signal.ml
lib/logtk/proofs/logtk_proofs__LLTerm.cmx
lib/logtk/proofs/logtk_proofs__LLTerm.cmti
lib/logtk/proofs/logtk_proofs__LLTerm.cmt
lib/logtk/proofs/logtk_proofs__LLTerm.cmi
lib/logtk/proofs/logtk_proofs__LLProver.cmx
lib/logtk/proofs/logtk_proofs__LLProver.cmti
lib/logtk/proofs/logtk_proofs__LLProver.cmt
lib/logtk/proofs/logtk_proofs__LLProver.cmi
lib/logtk/proofs/logtk_proofs__LLProof_conv.cmx
lib/logtk/proofs/logtk_proofs__LLProof_conv.cmti
lib/logtk/proofs/logtk_proofs__LLProof_conv.cmt
lib/logtk/proofs/logtk_proofs__LLProof_conv.cmi
lib/logtk/proofs/logtk_proofs__LLProof_check.cmx
lib/logtk/proofs/logtk_proofs__LLProof_check.cmti
lib/logtk/proofs/logtk_proofs__LLProof_check.cmt
lib/logtk/proofs/logtk_proofs__LLProof_check.cmi
lib/logtk/proofs/logtk_proofs__LLProof.cmx
lib/logtk/proofs/logtk_proofs__LLProof.cmti
lib/logtk/proofs/logtk_proofs__LLProof.cmt
lib/logtk/proofs/logtk_proofs__LLProof.cmi
lib/logtk/proofs/logtk_proofs.ml
lib/logtk/proofs/logtk_proofs.cmxs
lib/logtk/proofs/logtk_proofs.cmxa
lib/logtk/proofs/logtk_proofs.cmx
lib/logtk/proofs/logtk_proofs.cmt
lib/logtk/proofs/logtk_proofs.cmi
lib/logtk/proofs/logtk_proofs.cma
lib/logtk/proofs/logtk_proofs.a
lib/logtk/proofs/LLTerm.mli
lib/logtk/proofs/LLTerm.ml
lib/logtk/proofs/LLProver.mli
lib/logtk/proofs/LLProver.ml
lib/logtk/proofs/LLProof_conv.mli
lib/logtk/proofs/LLProof_conv.ml
lib/logtk/proofs/LLProof_check.mli
lib/logtk/proofs/LLProof_check.ml
lib/logtk/proofs/LLProof.mli
lib/logtk/proofs/LLProof.ml
lib/logtk/proofs
lib/logtk/parsers/util_zf.mli
lib/logtk/parsers/util_zf.ml
lib/logtk/parsers/util_tptp.mli
lib/logtk/parsers/util_tptp.ml
lib/logtk/parsers/util_tip.mli
lib/logtk/parsers/util_tip.ml
lib/logtk/parsers/trace_tstp.mli
lib/logtk/parsers/trace_tstp.ml
lib/logtk/parsers/parsing_utils.mli
lib/logtk/parsers/parsing_utils.ml
lib/logtk/parsers/logtk_parsers__Util_zf.cmx
lib/logtk/parsers/logtk_parsers__Util_zf.cmti
lib/logtk/parsers/logtk_parsers__Util_zf.cmt
lib/logtk/parsers/logtk_parsers__Util_zf.cmi
lib/logtk/parsers/logtk_parsers__Util_tptp.cmx
lib/logtk/parsers/logtk_parsers__Util_tptp.cmti
lib/logtk/parsers/logtk_parsers__Util_tptp.cmt
lib/logtk/parsers/logtk_parsers__Util_tptp.cmi
lib/logtk/parsers/logtk_parsers__Util_tip.cmx
lib/logtk/parsers/logtk_parsers__Util_tip.cmti
lib/logtk/parsers/logtk_parsers__Util_tip.cmt
lib/logtk/parsers/logtk_parsers__Util_tip.cmi
lib/logtk/parsers/logtk_parsers__Util_dk.cmx
lib/logtk/parsers/logtk_parsers__Util_dk.cmti
lib/logtk/parsers/logtk_parsers__Util_dk.cmt
lib/logtk/parsers/logtk_parsers__Util_dk.cmi
lib/logtk/parsers/logtk_parsers__Trace_tstp.cmx
lib/logtk/parsers/logtk_parsers__Trace_tstp.cmti
lib/logtk/parsers/logtk_parsers__Trace_tstp.cmt
lib/logtk/parsers/logtk_parsers__Trace_tstp.cmi
lib/logtk/parsers/logtk_parsers__Tip_parser.cmx
lib/logtk/parsers/logtk_parsers__Tip_parser.cmti
lib/logtk/parsers/logtk_parsers__Tip_parser.cmt
lib/logtk/parsers/logtk_parsers__Tip_parser.cmi
lib/logtk/parsers/logtk_parsers__Tip_lexer.cmx
lib/logtk/parsers/logtk_parsers__Tip_lexer.cmt
lib/logtk/parsers/logtk_parsers__Tip_lexer.cmi
lib/logtk/parsers/logtk_parsers__Tip_ast.cmx
lib/logtk/parsers/logtk_parsers__Tip_ast.cmt
lib/logtk/parsers/logtk_parsers__Tip_ast.cmi
lib/logtk/parsers/logtk_parsers__Parsing_utils.cmx
lib/logtk/parsers/logtk_parsers__Parsing_utils.cmti
lib/logtk/parsers/logtk_parsers__Parsing_utils.cmt
lib/logtk/parsers/logtk_parsers__Parsing_utils.cmi
lib/logtk/parsers/logtk_parsers__Parse_zf.cmx
lib/logtk/parsers/logtk_parsers__Parse_zf.cmti
lib/logtk/parsers/logtk_parsers__Parse_zf.cmt
lib/logtk/parsers/logtk_parsers__Parse_zf.cmi
lib/logtk/parsers/logtk_parsers__Parse_tptp.cmx
lib/logtk/parsers/logtk_parsers__Parse_tptp.cmti
lib/logtk/parsers/logtk_parsers__Parse_tptp.cmt
lib/logtk/parsers/logtk_parsers__Parse_tptp.cmi
lib/logtk/parsers/logtk_parsers__Parse_dk.cmx
lib/logtk/parsers/logtk_parsers__Parse_dk.cmti
lib/logtk/parsers/logtk_parsers__Parse_dk.cmt
lib/logtk/parsers/logtk_parsers__Parse_dk.cmi
lib/logtk/parsers/logtk_parsers__Lex_zf.cmx
lib/logtk/parsers/logtk_parsers__Lex_zf.cmt
lib/logtk/parsers/logtk_parsers__Lex_zf.cmi
lib/logtk/parsers/logtk_parsers__Lex_tptp.cmx
lib/logtk/parsers/logtk_parsers__Lex_tptp.cmt
lib/logtk/parsers/logtk_parsers__Lex_tptp.cmi
lib/logtk/parsers/logtk_parsers__Lex_dk.cmx
lib/logtk/parsers/logtk_parsers__Lex_dk.cmt
lib/logtk/parsers/logtk_parsers__Lex_dk.cmi
lib/logtk/parsers/logtk_parsers__CallProver.cmx
lib/logtk/parsers/logtk_parsers__CallProver.cmti
lib/logtk/parsers/logtk_parsers__CallProver.cmt
lib/logtk/parsers/logtk_parsers__CallProver.cmi
lib/logtk/parsers/logtk_parsers__Ast_tptp.cmx
lib/logtk/parsers/logtk_parsers__Ast_tptp.cmti
lib/logtk/parsers/logtk_parsers__Ast_tptp.cmt
lib/logtk/parsers/logtk_parsers__Ast_tptp.cmi
lib/logtk/parsers/logtk_parsers__Ast_dk.cmx
lib/logtk/parsers/logtk_parsers__Ast_dk.cmt
lib/logtk/parsers/logtk_parsers__Ast_dk.cmi
lib/logtk/parsers/logtk_parsers.ml
lib/logtk/parsers/logtk_parsers.cmxs
lib/logtk/parsers/logtk_parsers.cmxa
lib/logtk/parsers/logtk_parsers.cmx
lib/logtk/parsers/logtk_parsers.cmt
lib/logtk/parsers/logtk_parsers.cmi
lib/logtk/parsers/logtk_parsers.cma
lib/logtk/parsers/logtk_parsers.a
lib/logtk/parsers/callProver.mli
lib/logtk/parsers/callProver.ml
lib/logtk/parsers/ast_tptp.mli
lib/logtk/parsers/ast_tptp.ml
lib/logtk/parsers/Util_dk.mli
lib/logtk/parsers/Util_dk.ml
lib/logtk/parsers/Tip_parser.mli
lib/logtk/parsers/Tip_parser.ml
lib/logtk/parsers/Tip_lexer.ml
lib/logtk/parsers/Tip_ast.ml
lib/logtk/parsers/Parse_zf.mli
lib/logtk/parsers/Parse_zf.ml
lib/logtk/parsers/Parse_tptp.mli
lib/logtk/parsers/Parse_tptp.ml
lib/logtk/parsers/Parse_dk.mli
lib/logtk/parsers/Parse_dk.ml
lib/logtk/parsers/Lex_zf.ml
lib/logtk/parsers/Lex_tptp.ml
lib/logtk/parsers/Lex_dk.ml
lib/logtk/parsers/Ast_dk.ml
lib/logtk/parsers
lib/logtk/opam
lib/logtk/logtk__Var.cmx
lib/logtk/logtk__Var.cmti
lib/logtk/logtk__Var.cmt
lib/logtk/logtk__Var.cmi
lib/logtk/logtk__Util.cmx
lib/logtk/logtk__Util.cmti
lib/logtk/logtk__Util.cmt
lib/logtk/logtk__Util.cmi
lib/logtk/logtk__UntypedAST.cmx
lib/logtk/logtk__UntypedAST.cmti
lib/logtk/logtk__UntypedAST.cmt
lib/logtk/logtk__UntypedAST.cmi
lib/logtk/logtk__UnionFind.cmx
lib/logtk/logtk__UnionFind.cmti
lib/logtk/logtk__UnionFind.cmt
lib/logtk/logtk__UnionFind.cmi
lib/logtk/logtk__Unif_subst.cmx
lib/logtk/logtk__Unif_subst.cmti
lib/logtk/logtk__Unif_subst.cmt
lib/logtk/logtk__Unif_subst.cmi
lib/logtk/logtk__Unif_intf.cmx
lib/logtk/logtk__Unif_intf.cmt
lib/logtk/logtk__Unif_intf.cmi
lib/logtk/logtk__Unif_constr.cmx
lib/logtk/logtk__Unif_constr.cmti
lib/logtk/logtk__Unif_constr.cmt
lib/logtk/logtk__Unif_constr.cmi
lib/logtk/logtk__UnifFramework.cmx
lib/logtk/logtk__UnifFramework.cmti
lib/logtk/logtk__UnifFramework.cmt
lib/logtk/logtk__UnifFramework.cmi
lib/logtk/logtk__Unif.cmx
lib/logtk/logtk__Unif.cmti
lib/logtk/logtk__Unif.cmt
lib/logtk/logtk__Unif.cmi
lib/logtk/logtk__TypedSTerm.cmx
lib/logtk/logtk__TypedSTerm.cmti
lib/logtk/logtk__TypedSTerm.cmt
lib/logtk/logtk__TypedSTerm.cmi
lib/logtk/logtk__TypeInference.cmx
lib/logtk/logtk__TypeInference.cmti
lib/logtk/logtk__TypeInference.cmt
lib/logtk/logtk__TypeInference.cmi
lib/logtk/logtk__Type.cmx
lib/logtk/logtk__Type.cmti
lib/logtk/logtk__Type.cmt
lib/logtk/logtk__Type.cmi
lib/logtk/logtk__Test_prop.cmx
lib/logtk/logtk__Test_prop.cmti
lib/logtk/logtk__Test_prop.cmt
lib/logtk/logtk__Test_prop.cmi
lib/logtk/logtk__Term.cmx
lib/logtk/logtk__Term.cmti
lib/logtk/logtk__Term.cmt
lib/logtk/logtk__Term.cmi
lib/logtk/logtk__Subst.cmx
lib/logtk/logtk__Subst.cmti
lib/logtk/logtk__Subst.cmt
lib/logtk/logtk__Subst.cmi
lib/logtk/logtk__Statement.cmx
lib/logtk/logtk__Statement.cmti
lib/logtk/logtk__Statement.cmt
lib/logtk/logtk__Statement.cmi
lib/logtk/logtk__SolidUnif.cmx
lib/logtk/logtk__SolidUnif.cmti
lib/logtk/logtk__SolidUnif.cmt
lib/logtk/logtk__SolidUnif.cmi
lib/logtk/logtk__SolidSubsumption.cmx
lib/logtk/logtk__SolidSubsumption.cmti
lib/logtk/logtk__SolidSubsumption.cmt
lib/logtk/logtk__SolidSubsumption.cmi
lib/logtk/logtk__Skolem.cmx
lib/logtk/logtk__Skolem.cmti
lib/logtk/logtk__Skolem.cmt
lib/logtk/logtk__Skolem.cmi
lib/logtk/logtk__Signature.cmx
lib/logtk/logtk__Signature.cmti
lib/logtk/logtk__Signature.cmt
lib/logtk/logtk__Signature.cmi
lib/logtk/logtk__Signal.cmx
lib/logtk/logtk__Signal.cmti
lib/logtk/logtk__Signal.cmt
lib/logtk/logtk__Signal.cmi
lib/logtk/logtk__Scoped.cmx
lib/logtk/logtk__Scoped.cmti
lib/logtk/logtk__Scoped.cmt
lib/logtk/logtk__Scoped.cmi
lib/logtk/logtk__STerm.cmx
lib/logtk/logtk__STerm.cmti
lib/logtk/logtk__STerm.cmt
lib/logtk/logtk__STerm.cmi
lib/logtk/logtk__SLiteral.cmx
lib/logtk/logtk__SLiteral.cmti
lib/logtk/logtk__SLiteral.cmt
lib/logtk/logtk__SLiteral.cmi
lib/logtk/logtk__Rewrite.cmx
lib/logtk/logtk__Rewrite.cmti
lib/logtk/logtk__Rewrite.cmt
lib/logtk/logtk__Rewrite.cmi
lib/logtk/logtk__Rat_lit.cmx
lib/logtk/logtk__Rat_lit.cmti
lib/logtk/logtk__Rat_lit.cmt
lib/logtk/logtk__Rat_lit.cmi
lib/logtk/logtk__Proof.cmx
lib/logtk/logtk__Proof.cmti
lib/logtk/logtk__Proof.cmt
lib/logtk/logtk__Proof.cmi
lib/logtk/logtk__Precedence.cmx
lib/logtk/logtk__Precedence.cmti
lib/logtk/logtk__Precedence.cmt
lib/logtk/logtk__Precedence.cmi
lib/logtk/logtk__PragUnifParams.cmx
lib/logtk/logtk__PragUnifParams.cmti
lib/logtk/logtk__PragUnifParams.cmt
lib/logtk/logtk__PragUnifParams.cmi
lib/logtk/logtk__Position.cmx
lib/logtk/logtk__Position.cmti
lib/logtk/logtk__Position.cmt
lib/logtk/logtk__Position.cmi
lib/logtk/logtk__PatternUnif.cmx
lib/logtk/logtk__PatternUnif.cmti
lib/logtk/logtk__PatternUnif.cmt
lib/logtk/logtk__PatternUnif.cmi
lib/logtk/logtk__ParseLocation.cmx
lib/logtk/logtk__ParseLocation.cmti
lib/logtk/logtk__ParseLocation.cmt
lib/logtk/logtk__ParseLocation.cmi
lib/logtk/logtk__PUnif.cmx
lib/logtk/logtk__PUnif.cmti
lib/logtk/logtk__PUnif.cmt
lib/logtk/logtk__PUnif.cmi
lib/logtk/logtk__Output_format.cmx
lib/logtk/logtk__Output_format.cmt
lib/logtk/logtk__Output_format.cmi
lib/logtk/logtk__Ordinal.cmx
lib/logtk/logtk__Ordinal.cmti
lib/logtk/logtk__Ordinal.cmt
lib/logtk/logtk__Ordinal.cmi
lib/logtk/logtk__Ordering.cmx
lib/logtk/logtk__Ordering.cmti
lib/logtk/logtk__Ordering.cmt
lib/logtk/logtk__Ordering.cmi
lib/logtk/logtk__Options.cmx
lib/logtk/logtk__Options.cmti
lib/logtk/logtk__Options.cmt
lib/logtk/logtk__Options.cmi
lib/logtk/logtk__NPDtree.cmx
lib/logtk/logtk__NPDtree.cmti
lib/logtk/logtk__NPDtree.cmt
lib/logtk/logtk__NPDtree.cmi
lib/logtk/logtk__Multisets.cmx
lib/logtk/logtk__Multisets.cmt
lib/logtk/logtk__Multisets.cmi
lib/logtk/logtk__Multiset_intf.cmx
lib/logtk/logtk__Multiset_intf.cmt
lib/logtk/logtk__Multiset_intf.cmi
lib/logtk/logtk__Multiset.cmx
lib/logtk/logtk__Multiset.cmti
lib/logtk/logtk__Multiset.cmt
lib/logtk/logtk__Multiset.cmi
lib/logtk/logtk__Monome.cmx
lib/logtk/logtk__Monome.cmti
lib/logtk/logtk__Monome.cmt
lib/logtk/logtk__Monome.cmi
lib/logtk/logtk__Literals.cmx
lib/logtk/logtk__Literals.cmti
lib/logtk/logtk__Literals.cmt
lib/logtk/logtk__Literals.cmi
lib/logtk/logtk__Literal.cmx
lib/logtk/logtk__Literal.cmti
lib/logtk/logtk__Literal.cmt
lib/logtk/logtk__Literal.cmi
lib/logtk/logtk__LazyList.cmx
lib/logtk/logtk__LazyList.cmti
lib/logtk/logtk__LazyList.cmt
lib/logtk/logtk__LazyList.cmi
lib/logtk/logtk__Lambda.cmx
lib/logtk/logtk__Lambda.cmti
lib/logtk/logtk__Lambda.cmt
lib/logtk/logtk__Lambda.cmi
lib/logtk/logtk__JP_unif.cmx
lib/logtk/logtk__JP_unif.cmti
lib/logtk/logtk__JP_unif.cmt
lib/logtk/logtk__JP_unif.cmi
lib/logtk/logtk__JPFull.cmx
lib/logtk/logtk__JPFull.cmti
lib/logtk/logtk__JPFull.cmt
lib/logtk/logtk__JPFull.cmi
lib/logtk/logtk__Interfaces.cmx
lib/logtk/logtk__Interfaces.cmt
lib/logtk/logtk__Interfaces.cmi
lib/logtk/logtk__Int_lit.cmx
lib/logtk/logtk__Int_lit.cmti
lib/logtk/logtk__Int_lit.cmt
lib/logtk/logtk__Int_lit.cmi
lib/logtk/logtk__Input_format.cmx
lib/logtk/logtk__Input_format.cmt
lib/logtk/logtk__Input_format.cmi
lib/logtk/logtk__InnerTerm.cmx
lib/logtk/logtk__InnerTerm.cmti
lib/logtk/logtk__InnerTerm.cmt
lib/logtk/logtk__InnerTerm.cmi
lib/logtk/logtk__Index_intf.cmx
lib/logtk/logtk__Index_intf.cmt
lib/logtk/logtk__Index_intf.cmi
lib/logtk/logtk__Index.cmx
lib/logtk/logtk__Index.cmti
lib/logtk/logtk__Index.cmt
lib/logtk/logtk__Index.cmi
lib/logtk/logtk__Ind_ty.cmx
lib/logtk/logtk__Ind_ty.cmti
lib/logtk/logtk__Ind_ty.cmt
lib/logtk/logtk__Ind_ty.cmi
lib/logtk/logtk__ID.cmx
lib/logtk/logtk__ID.cmti
lib/logtk/logtk__ID.cmt
lib/logtk/logtk__ID.cmi
lib/logtk/logtk__IArray.cmx
lib/logtk/logtk__IArray.cmti
lib/logtk/logtk__IArray.cmt
lib/logtk/logtk__IArray.cmi
lib/logtk/logtk__Hashcons.cmx
lib/logtk/logtk__Hashcons.cmti
lib/logtk/logtk__Hashcons.cmt
lib/logtk/logtk__Hashcons.cmi
lib/logtk/logtk__Hash.cmx
lib/logtk/logtk__Hash.cmti
lib/logtk/logtk__Hash.cmt
lib/logtk/logtk__Hash.cmi
lib/logtk/logtk__HVar.cmx
lib/logtk/logtk__HVar.cmti
lib/logtk/logtk__HVar.cmt
lib/logtk/logtk__HVar.cmi
lib/logtk/logtk__HO_unif.cmx
lib/logtk/logtk__HO_unif.cmti
lib/logtk/logtk__HO_unif.cmt
lib/logtk/logtk__HO_unif.cmi
lib/logtk/logtk__Flex_state.cmx
lib/logtk/logtk__Flex_state.cmti
lib/logtk/logtk__Flex_state.cmt
lib/logtk/logtk__Flex_state.cmi
lib/logtk/logtk__FixpointUnif.cmx
lib/logtk/logtk__FixpointUnif.cmti
lib/logtk/logtk__FixpointUnif.cmt
lib/logtk/logtk__FixpointUnif.cmi
lib/logtk/logtk__Fingerprint.cmx
lib/logtk/logtk__Fingerprint.cmti
lib/logtk/logtk__Fingerprint.cmt
lib/logtk/logtk__Fingerprint.cmi
lib/logtk/logtk__FeatureVector.cmx
lib/logtk/logtk__FeatureVector.cmti
lib/logtk/logtk__FeatureVector.cmt
lib/logtk/logtk__FeatureVector.cmi
lib/logtk/logtk__FV_tree.cmx
lib/logtk/logtk__FV_tree.cmti
lib/logtk/logtk__FV_tree.cmt
lib/logtk/logtk__FV_tree.cmi
lib/logtk/logtk__Dtree.cmx
lib/logtk/logtk__Dtree.cmti
lib/logtk/logtk__Dtree.cmt
lib/logtk/logtk__Dtree.cmi
lib/logtk/logtk__Defined_pos.cmx
lib/logtk/logtk__Defined_pos.cmt
lib/logtk/logtk__Defined_pos.cmi
lib/logtk/logtk__DBEnv.cmx
lib/logtk/logtk__DBEnv.cmti
lib/logtk/logtk__DBEnv.cmt
lib/logtk/logtk__DBEnv.cmi
lib/logtk/logtk__Congruence_intf.cmx
lib/logtk/logtk__Congruence_intf.cmt
lib/logtk/logtk__Congruence_intf.cmi
lib/logtk/logtk__Congruence.cmx
lib/logtk/logtk__Congruence.cmti
lib/logtk/logtk__Congruence.cmt
lib/logtk/logtk__Congruence.cmi
lib/logtk/logtk__Compute_prec.cmx
lib/logtk/logtk__Compute_prec.cmti
lib/logtk/logtk__Compute_prec.cmt
lib/logtk/logtk__Compute_prec.cmi
lib/logtk/logtk__Comparison.cmx
lib/logtk/logtk__Comparison.cmti
lib/logtk/logtk__Comparison.cmt
lib/logtk/logtk__Comparison.cmi
lib/logtk/logtk__Cnf.cmx
lib/logtk/logtk__Cnf.cmti
lib/logtk/logtk__Cnf.cmt
lib/logtk/logtk__Cnf.cmi
lib/logtk/logtk__Builtin.cmx
lib/logtk/logtk__Builtin.cmti
lib/logtk/logtk__Builtin.cmt
lib/logtk/logtk__Builtin.cmi
lib/logtk/logtk__Binder.cmx
lib/logtk/logtk__Binder.cmti
lib/logtk/logtk__Binder.cmt
lib/logtk/logtk__Binder.cmi
lib/logtk/logtk__AllocCache.cmx
lib/logtk/logtk__AllocCache.cmti
lib/logtk/logtk__AllocCache.cmt
lib/logtk/logtk__AllocCache.cmi
lib/logtk/logtk.ml
lib/logtk/logtk.cmxs
lib/logtk/logtk.cmxa
lib/logtk/logtk.cmx
lib/logtk/logtk.cmt
lib/logtk/logtk.cmi
lib/logtk/logtk.cma
lib/logtk/logtk.a
lib/logtk/liblogtk_stubs.a
lib/logtk/dune-package
lib/logtk/arbitrary/logtk_arbitrary__ArType.cmx
lib/logtk/arbitrary/logtk_arbitrary__ArType.cmti
lib/logtk/arbitrary/logtk_arbitrary__ArType.cmt
lib/logtk/arbitrary/logtk_arbitrary__ArType.cmi
lib/logtk/arbitrary/logtk_arbitrary__ArTerm.cmx
lib/logtk/arbitrary/logtk_arbitrary__ArTerm.cmti
lib/logtk/arbitrary/logtk_arbitrary__ArTerm.cmt
lib/logtk/arbitrary/logtk_arbitrary__ArTerm.cmi
lib/logtk/arbitrary/logtk_arbitrary__ArLiteral.cmx
lib/logtk/arbitrary/logtk_arbitrary__ArLiteral.cmti
lib/logtk/arbitrary/logtk_arbitrary__ArLiteral.cmt
lib/logtk/arbitrary/logtk_arbitrary__ArLiteral.cmi
lib/logtk/arbitrary/logtk_arbitrary__ArID.cmx
lib/logtk/arbitrary/logtk_arbitrary__ArID.cmti
lib/logtk/arbitrary/logtk_arbitrary__ArID.cmt
lib/logtk/arbitrary/logtk_arbitrary__ArID.cmi
lib/logtk/arbitrary/logtk_arbitrary__ArForm.cmx
lib/logtk/arbitrary/logtk_arbitrary__ArForm.cmti
lib/logtk/arbitrary/logtk_arbitrary__ArForm.cmt
lib/logtk/arbitrary/logtk_arbitrary__ArForm.cmi
lib/logtk/arbitrary/logtk_arbitrary.ml
lib/logtk/arbitrary/logtk_arbitrary.cmxs
lib/logtk/arbitrary/logtk_arbitrary.cmxa
lib/logtk/arbitrary/logtk_arbitrary.cmx
lib/logtk/arbitrary/logtk_arbitrary.cmt
lib/logtk/arbitrary/logtk_arbitrary.cmi
lib/logtk/arbitrary/logtk_arbitrary.cma
lib/logtk/arbitrary/logtk_arbitrary.a
lib/logtk/arbitrary/arType.mli
lib/logtk/arbitrary/arType.ml
lib/logtk/arbitrary/arTerm.mli
lib/logtk/arbitrary/arTerm.ml
lib/logtk/arbitrary/arLiteral.mli
lib/logtk/arbitrary/arLiteral.ml
lib/logtk/arbitrary/arID.mli
lib/logtk/arbitrary/arID.ml
lib/logtk/arbitrary/arForm.mli
lib/logtk/arbitrary/arForm.ml
lib/logtk/arbitrary
lib/logtk/Var.mli
lib/logtk/Var.ml
lib/logtk/Util.mli
lib/logtk/Util.ml
lib/logtk/UntypedAST.mli
lib/logtk/UntypedAST.ml
lib/logtk/UnionFind.mli
lib/logtk/UnionFind.ml
lib/logtk/Unif_subst.mli
lib/logtk/Unif_subst.ml
lib/logtk/Unif_intf.ml
lib/logtk/Unif_constr.mli
lib/logtk/Unif_constr.ml
lib/logtk/UnifFramework.mli
lib/logtk/UnifFramework.ml
lib/logtk/Unif.mli
lib/logtk/Unif.ml
lib/logtk/TypedSTerm.mli
lib/logtk/TypedSTerm.ml
lib/logtk/TypeInference.mli
lib/logtk/TypeInference.ml
lib/logtk/Type.mli
lib/logtk/Type.ml
lib/logtk/Test_prop.mli
lib/logtk/Test_prop.ml
lib/logtk/Term.mli
lib/logtk/Term.ml
lib/logtk/Subst.mli
lib/logtk/Subst.ml
lib/logtk/Statement.mli
lib/logtk/Statement.ml
lib/logtk/SolidUnif.mli
lib/logtk/SolidUnif.ml
lib/logtk/SolidSubsumption.mli
lib/logtk/SolidSubsumption.ml
lib/logtk/Skolem.mli
lib/logtk/Skolem.ml
lib/logtk/Signature.mli
lib/logtk/Signature.ml
lib/logtk/Scoped.mli
lib/logtk/Scoped.ml
lib/logtk/STerm.mli
lib/logtk/STerm.ml
lib/logtk/SLiteral.mli
lib/logtk/SLiteral.ml
lib/logtk/Rewrite.mli
lib/logtk/Rewrite.ml
lib/logtk/Rat_lit.mli
lib/logtk/Rat_lit.ml
lib/logtk/Proof.mli
lib/logtk/Proof.ml
lib/logtk/Precedence.mli
lib/logtk/Precedence.ml
lib/logtk/PragUnifParams.mli
lib/logtk/PragUnifParams.ml
lib/logtk/Position.mli
lib/logtk/Position.ml
lib/logtk/PatternUnif.mli
lib/logtk/PatternUnif.ml
lib/logtk/ParseLocation.mli
lib/logtk/ParseLocation.ml
lib/logtk/PUnif.mli
lib/logtk/PUnif.ml
lib/logtk/Output_format.ml
lib/logtk/Ordinal.mli
lib/logtk/Ordinal.ml
lib/logtk/Ordering.mli
lib/logtk/Ordering.ml
lib/logtk/Options.mli
lib/logtk/Options.ml
lib/logtk/NPDtree.mli
lib/logtk/NPDtree.ml
lib/logtk/Multisets.ml
lib/logtk/Multiset_intf.ml
lib/logtk/Multiset.mli
lib/logtk/Multiset.ml
lib/logtk/Monome.mli
lib/logtk/Monome.ml
lib/logtk/META
lib/logtk/Literals.mli
lib/logtk/Literals.ml
lib/logtk/Literal.mli
lib/logtk/Literal.ml
lib/logtk/LazyList.mli
lib/logtk/LazyList.ml
lib/logtk/Lambda.mli
lib/logtk/Lambda.ml
lib/logtk/JP_unif.mli
lib/logtk/JP_unif.ml
lib/logtk/JPFull.mli
lib/logtk/JPFull.ml
lib/logtk/Interfaces.ml
lib/logtk/Int_lit.mli
lib/logtk/Int_lit.ml
lib/logtk/Input_format.ml
lib/logtk/InnerTerm.mli
lib/logtk/InnerTerm.ml
lib/logtk/Index_intf.ml
lib/logtk/Index.mli
lib/logtk/Index.ml
lib/logtk/Ind_ty.mli
lib/logtk/Ind_ty.ml
lib/logtk/ID.mli
lib/logtk/ID.ml
lib/logtk/IArray.mli
lib/logtk/IArray.ml
lib/logtk/Hashcons.mli
lib/logtk/Hashcons.ml
lib/logtk/Hash.mli
lib/logtk/Hash.ml
lib/logtk/HVar.mli
lib/logtk/HVar.ml
lib/logtk/HO_unif.mli
lib/logtk/HO_unif.ml
lib/logtk/Flex_state.mli
lib/logtk/Flex_state.ml
lib/logtk/FixpointUnif.mli
lib/logtk/FixpointUnif.ml
lib/logtk/Fingerprint.mli
lib/logtk/Fingerprint.ml
lib/logtk/FeatureVector.mli
lib/logtk/FeatureVector.ml
lib/logtk/FV_tree.mli
lib/logtk/FV_tree.ml
lib/logtk/Dtree.mli
lib/logtk/Dtree.ml
lib/logtk/Defined_pos.ml
lib/logtk/DBEnv.mli
lib/logtk/DBEnv.ml
lib/logtk/Congruence_intf.ml
lib/logtk/Congruence.mli
lib/logtk/Congruence.ml
lib/logtk/Compute_prec.mli
lib/logtk/Compute_prec.ml
lib/logtk/Comparison.mli
lib/logtk/Comparison.ml
lib/logtk/Cnf.mli
lib/logtk/Cnf.ml
lib/logtk/Builtin.mli
lib/logtk/Builtin.ml
lib/logtk/Binder.mli
lib/logtk/Binder.ml
lib/logtk/AllocCache.mli
lib/logtk/AllocCache.ml
lib/logtk
doc/logtk/README.md
doc/logtk/LICENSE
doc/logtk/CHANGELOG.md
doc/logtk