Project

General

Profile

Revision 946e8213 src/lib/CoAlgFormula.mli

View differences:

src/lib/CoAlgFormula.mli
63 63
val convert_post : (formula -> formula) -> formula -> formula (* run over all subformulas in post order *)
64 64
val convertToK : formula -> formula (* tries to convert a formula to a pure K formula *)
65 65
val convertToGML : formula -> formula (* tries to convert a formula to a pure GML formula *)
66
val convertToMu : formula -> formula (* tries to convert a formula to a pure Mu formula *)
66 67

  
67 68
val isNominal : string -> bool
68 69

  

Also available in: Unified diff