Module TestgenModes (.ml)

module TestgenModes: sig .. end

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 : Format.formatter -> Scope.t * Term.t -> unit
val pp_print_modes : 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 pp_print_sys_modes : Format.formatter ->
Sys.t * ((Scope.t * Term.t) option * (Scope.t * Term.t) list) list -> unit
val pp_print_modes : 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