package lambda-term

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method page_size : int
method set_page_size : int -> unit
method document_size : int
method set_document_size : int -> unit
method page_next : int
method page_prev : int
method calculate_range : int -> int -> int