Commit 022bf4ec authored by Andrei Paskevich's avatar Andrei Paskevich

minor

parent de407ff7
......@@ -20,10 +20,6 @@
open Util
open Ty
type label = string
exception NonLinear
(** Variable symbols *)
type vsymbol = {
......@@ -211,6 +207,8 @@ let rec pat_equal_alpha p1 p2 =
(** Terms and formulas *)
type label = string
type quant =
| Fforall
| Fexists
......@@ -912,6 +910,8 @@ let f_app p tl =
in
f_app p tl
exception NonLinear
let pat_varmap p =
let i = ref (-1) in
let rec mk_map acc p = match p.pat_node with
......
......@@ -19,12 +19,9 @@
open Ty
type label
exception NonLinear
exception BadArity
exception ConstructorExpected
exception NoMatch
(** Variable symbols *)
......@@ -96,6 +93,8 @@ val pat_equal_alpha : pattern -> pattern -> bool
(** Terms and formulas *)
type label
type quant =
| Fforall
| Fexists
......
......@@ -24,7 +24,7 @@ open Util
type tvsymbol = Name.t
(* type symbols and types *)
type tysymbol = {
ts_name : Name.t;
ts_args : tvsymbol list;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment