package progress

  1. Overview
  2. Docs
module type S = sig ... end

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

module Make (Integer : Integer.S) : S with type integer := Integer.t
module type Ext = sig ... end

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

OCaml

Innovation. Community. Security.