all

abstract fun all(): List<FormulaDefinition>