You can search for identifiers within the package.
in-package search v0.2.0
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