diff options
Diffstat (limited to 'test/KB/equations.mli')
| -rw-r--r-- | test/KB/equations.mli | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/test/KB/equations.mli b/test/KB/equations.mli deleted file mode 100644 index 45d790260f..0000000000 --- a/test/KB/equations.mli +++ /dev/null @@ -1,32 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -open Terms - -type rule = - { number: int; - numvars: int; - lhs: term; - rhs: term } - -val mk_rule: int -> term -> term -> rule -val check_rules: rule list -> int -val pretty_rule: rule -> unit -val pretty_rules: rule list -> unit -val reduce: term -> term -> term -> term -val reducible: term -> term -> bool -val mreduce: rule list -> term -> term -val mrewrite1: rule list -> term -> term -val mrewrite1_sons: rule list -> term list -> term list -val mrewrite_all: rule list -> term -> term |