V_______________________________________________________________ *)
type csys = {
- uri: Entity.uri;
- mutable tp : int list;
- mutable t1 : int list;
- mutable tn : (int * int) list;
+ buri: Entity.uri;
+ mutable tp : int list;
+ mutable t1 : int list;
+ mutable tn : (int * int) list;
}
val init: unit -> csys