object
inherit clickableMathView
(** load a sequent and render it into parent widget *)
method load_sequent: Cic.metasenv -> int -> unit
object
inherit clickableMathView
(** load a sequent and render it into parent widget *)
method load_sequent: Cic.metasenv -> int -> unit