Project

General

Profile

Revision 946e8213 src/lib/Nom2fix.mli

View differences:

src/lib/Nom2fix.mli
2 2

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

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

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

Also available in: Unified diff