package logtk

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

Build a DAG

Parameters

module Form : FORM

Signature

module Form = 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