Project

General

Profile

Revision 1d36cd07 src/lib/Nom2fix.mli

View differences:

src/lib/Nom2fix.mli
2 2

  
3 3
type nomTbl = string -> CoAlgFormula.sort option
4 4

  
5

  
5 6
val rename : CoAlgFormula.formula -> string Map.Make(String).t ref -> string list ref ->  CoAlgFormula.formula
7
val delFix : CoAlgFormula.formula -> CoAlgFormula.formula
6 8
val calcinv : CoAlgFormula.formula -> string list ref -> (string -> int option) -> CoAlgReasoner.sortTable -> int -> CoAlgFormula.formula
7 9
val translate : CoAlgFormula.formula -> (string -> int option) -> CoAlgReasoner.sortTable -> int -> bool ->  CoAlgFormula.formula
8 10

  

Also available in: Unified diff