Commit e6f95cc2 authored by Andrei Paskevich's avatar Andrei Paskevich

minor cleaning

parent 4d6154fd
......@@ -72,7 +72,7 @@ and namespace = {
tysymbols : tysymbol M.t; (* type symbols *)
fsymbols : fsymbol M.t; (* function symbols *)
psymbols : psymbol M.t; (* predicate symbols *)
fmlas : fmla M.t; (* formula *)
props : fmla M.t; (* formula *)
namespace : namespace M.t;
}
......@@ -88,7 +88,7 @@ let empty_ns = {
tysymbols = M.empty;
fsymbols = M.empty;
psymbols = M.empty;
fmlas = M.empty;
props = M.empty;
namespace = M.empty;
}
......@@ -168,13 +168,13 @@ let find_tysymbol ns s = M.find s ns.tysymbols
let find_fsymbol ns s = M.find s ns.fsymbols
let find_psymbol ns s = M.find s ns.psymbols
let find_namespace ns s = M.find s ns.namespace
let find_fmla ns s = M.find s ns.fmlas
let find_prop ns s = M.find s ns.props
let mem_tysymbol ns s = M.mem s ns.tysymbols
let mem_fsymbol ns s = M.mem s ns.fsymbols
let mem_psymbol ns s = M.mem s ns.psymbols
let mem_namespace ns s = M.mem s ns.namespace
let mem_fmla ns s = M.mem s ns.fmlas
let mem_prop ns s = M.mem s ns.props
(** Error reporting *)
......
......@@ -84,13 +84,13 @@ val find_tysymbol : namespace -> string -> tysymbol
val find_fsymbol : namespace -> string -> fsymbol
val find_psymbol : namespace -> string -> psymbol
val find_namespace: namespace -> string -> namespace
val find_fmla : namespace -> string -> fmla
val find_prop : namespace -> string -> fmla
val mem_tysymbol : namespace -> string -> bool
val mem_fsymbol : namespace -> string -> bool
val mem_psymbol : namespace -> string -> bool
val mem_namespace: namespace -> string -> bool
val mem_fmla : namespace -> string -> bool
val mem_prop : namespace -> string -> bool
(** Error reporting *)
......
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