Functor LogtkTransform.MakeDAG

module MakeDAG (Form : FORM) : DAG  with module Form = Form
Build a DAG
Parameters:
Form : FORM

module Form: LogtkTransform.FORM 
type t 
val create : (string * LogtkTransform.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