Project

General

Profile

Revision 97b76edf src/lib/Nom2fix.mli

View differences:

src/lib/Nom2fix.mli
3 3
type nomTbl = string -> CoAlgFormula.sort option
4 4

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

  

Also available in: Unified diff