inherit Wp__.Plang.engine
method set_sequence : Wp__.Conditions.sequence -> unit
method set_domain : Wp__.Lang.F.Vars.t -> unit
Default is sequence's domain
method domain : Wp__.Lang.F.Vars.t
method label_at : id:int -> Wp__.Pcfg.label
method pp_at : Stdlib.Format.formatter -> Wp__.Pcfg.label -> unit
method pp_update : Wp__.Pcfg.label ->
Stdlib.Format.formatter ->
Wp__.Memory.update ->
unit
method pp_value : Stdlib.Format.formatter -> Wp__.Lang.F.term -> unit