Module TestgenModes

module Sys = TransSys
type sys = Sys.t
type mode = Scope.t * Term.t
type modes = mode option * mode list
type sys_modes = sys * modes list
type t = modes * sys_modes list
val pp_print_mode : Stdlib.Format.formatter -> (Scope.t * Term.t) -> unit
val pp_print_modes : Stdlib.Format.formatter -> ((Scope.t * Term.t) option * (Scope.t * Term.t) list) -> unit
val pp_print_sys_modes : Stdlib.Format.formatter -> (Sys.t * ((Scope.t * Term.t) option * (Scope.t * Term.t) list) list) -> unit
val pp_print_modes : Stdlib.Format.formatter -> (((Scope.t * Term.t) option * (Scope.t * Term.t) list) * (Sys.t * ((Scope.t * Term.t) option * (Scope.t * Term.t) list) list) list) -> unit
val sv_at_0 : StateVar.t -> Term.t
val modes_of_sys : Sys.t -> modes
val modes_of : Sys.t -> modes * 'a list