package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

First-order LogtkFormulas

LogtkHashconsed formulas for first-order logic. This provides many useful functions, and smart constructors that perform some basic simplifications

TODO: attributes, to speed up simplification/flattening/closeness checking

type symbol = LogtkSymbol.t
type type_ = LogtkType.t
module type S = sig ... end
module type TERM = sig ... end
module Make (MyT : TERM) : S with type term = MyT.t and type term_set = MyT.Set.t
module FO : sig ... end
module Map (From : S) (To : S) : sig ... end

Functor to translate terms