module Q = Ccs
type status = {
- ll: int; (* log level *)
delta: bool; (* global delta-expansion *)
- rt: bool; (* reference typing *)
si: bool; (* sort inclusion *)
- expand: bool; (* always expand global definitions *)
cc: Q.csys; (* conversion constraints *)
- tc: bool; (* trace constraints *)
}
(* helpers ******************************************************************)
let initial_status () = {
- ll = 0; delta = false; rt = false; tc = false;
- si = !G.si; expand = !G.expand; cc = Q.init ()
+ delta = false;
+ si = !G.si; cc = Q.init ()
}
let refresh_status st = {st with
- si = !G.si; expand = !G.expand; cc = Q.init ()
+ si = !G.si; cc = Q.init ()
}