class sequence :Inherits#state ->
object
..end
method set_sequence : Wp.Conditions.sequence -> unit
method set_goal : Wp.Lang.F.pred -> unit
method set_sequent : Wp.Conditions.sequent -> unit
method get_state : bool
true
, states are rendered when printing sequences.method set_state : bool -> unit
false
, states rendering is deactivated.