package progress

  1. Overview
  2. Docs
package progress
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Platform.Terminal_widthSource

Functions for polling (and subscribing to) the terminal width.

Sourceval get : unit -> int option
Sourceval set_changed_callback : (int option -> unit) -> unit