Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / Nom2fix.mli @ 2d58f46f

History | View | Annotate | Download (492 Bytes)

1 def3763d Kristin Braun
module CA = CoAlgFormula
2
3
type nomTbl = string -> CoAlgFormula.sort option
4
5 946e8213 Kristin Braun
val rename : CoAlgFormula.formula -> string Map.Make(String).t ref -> string list ref ->  CoAlgFormula.formula
6
val calcinv : CoAlgFormula.formula -> string list ref -> (string -> int option) -> CoAlgReasoner.sortTable -> int -> CoAlgFormula.formula
7 2d58f46f Kristin Braun
val translate : CoAlgFormula.formula -> (string -> int option) -> CoAlgReasoner.sortTable -> int -> bool ->  CoAlgFormula.formula
8 def3763d Kristin Braun
9
(* vim: set et sw=2 sts=2 ts=8 : *)