module C = Cps
module E = Entity
module G = Options
-
+(*
type csys = {
- uri: E.uri;
- mutable tp : int list;
- mutable t1 : int list;
- mutable tn : (int * int) list;
+ buri: E.uri;
+ mutable tp : int list;
+ mutable t1 : int list;
+ mutable tn : (int * int) list;
}
let mark a = E.mark C.err C.start a
(* interface functions ******************************************************)
let init () = {
- uri = U.uri_of_string (G.get_baseuri ());
+ buri = U.uri_of_string (G.get_baseuri ());
tp = []; t1 = []; tn = []
}
let i = abs (mark xa), abs (mark ia) in
if L.mem i s.tn then () else s.tn <- i :: s.tn
else ()
+*)