package progress

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

Module Line.Integer_dependentSource

Sourcemodule type S = sig ... end

S contains just the line segments that can be specialised to an underlying integer implementation.

Sourcemodule type Ext = sig ... end

Ext is S extended with non-integer-dependent segments as well.