package lambda-term

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit frame
val mutable work_area : LTerm_geom.rect option
method private compute_allocation : modal_frame -> unit
method draw : 'a -> LTerm_draw.context -> LTerm_widget_base_impl.t -> unit