Project

General

Profile

Revision 2d58f46f src/lib/Nom2fix.mli

View differences:

src/lib/Nom2fix.mli
4 4

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

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

Also available in: Unified diff