package lambda-term
-
lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
inherit tval mutable child : LTerm_widget_base_impl.t optionmethod children : LTerm_widget_base_impl.t listval mutable size_request : LTerm_geom.sizemethod size_request : LTerm_geom.sizeval mutable style : LTerm_style.tval mutable connection : LTerm_draw.connectionmethod set_allocation : LTerm_geom.rect -> unitval mutable align : LTerm_geom.horz_alignmentmethod set_label : ?alignment:LTerm_geom.horz_alignment -> string -> unitmethod draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit