package lambda-term

  1. Overview
  2. Docs
package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
class t : string -> LTerm_widget_base_impl.t
exception Out_of_range
val insert : 'a -> 'a list -> int -> 'a list
type box_child = LTerm_containers_impl.Make(LiteralIntf).box_child = {
  1. widget : t;
  2. expand : bool;
  3. mutable length : int;
}
class type box = object ... end
class virtual abox : string -> object ... end
class hbox : object ... end
class vbox : object ... end
class frame : object ... end
class modal_frame : object ... end