package lambda-term

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit t
val size_request : LTerm_geom.size
method size_request : spacing -> LTerm_geom.size