Class Ptip.plang

inherit Wp__.Pcond.state
method set_target : F.term -> unit
method clear_target : unit