Wtext
type 'a entry = int * int * 'a
class type 'a marker = object ... end
class text : ?autoscroll:bool -> ?width:int -> ?indent:int -> unit -> object ... end
Frama-C