Module LogtkTransform.FormDag

module FormDag: DAG  with type Form.t = form
Trivial instance, with bare formulas

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