module OrderedDomain =
struct
type t = domain_item
- let compare = Pervasives.compare
+ let compare = Stdlib.compare
end
(* module Domain = Set.Make (OrderedDomain) *)
let find k env =
match k with
- Symbol (sym,n) ->
+ Symbol (sym,_n) ->
(try find k env
with Not_found -> find (Symbol (sym,0)) env)
- | Num n ->
+ | Num _n ->
(try find k env
with Not_found -> find (Num 0) env)
| _ -> find k env