Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / Nom2fix.mli @ def3763d

History | View | Annotate | Download (548 Bytes)

1
module CA = CoAlgFormula
2

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

    
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
val calcinv : CoAlgFormula.formula -> string list ref -> (string -> int option) -> CoAlgReasoner.sortTable -> CoAlgFormula.formula
8
val translate : CoAlgFormula.formula -> (string -> int option) -> CoAlgReasoner.sortTable -> CoAlgFormula.formula
9

    
10
(* vim: set et sw=2 sts=2 ts=8 : *)