Module type LogtkTransform.DAG

module type DAG = sig .. end

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