package logtk

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

Trivial instance, with bare formulas

module Form : FORM with type t = form
type t
val create : (string * transformation) list -> t

Create a DAG that implements the given list of transformations

val transform : t -> Form.t list -> Form.t list

LogtkTransform a set of formulas recursively

OCaml

Innovation. Community. Security.