Project

General

Profile

Revision 1d36cd07 src/lib/CoAlgFormula.mli

View differences:

src/lib/CoAlgFormula.mli
69 69

  
70 70
val sizeFormula : formula -> int
71 71
val sizeSortedFormula : sortedFormula -> int
72
val depthFormula : formula -> int
72 73

  
73 74
val string_of_formula : formula -> string
74 75
val exportFormula : formula -> string

Also available in: Unified diff