Class Custop.elements


class ['a] elements : 'a param -> GText.view -> object .. end
The elements box.
Inherits
val mutable data : 'a element list
method add_element : 'a element -> unit
method compare : 'a element -> 'a element -> int