Module `Line.Integer_dependent`

module type S = sig ... end

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

module Make
  (Integer : Progress_engine.Integer.S) : 
  Line.Integer_dependent.S with type integer := Integer.t

module type Ext = sig ... end

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

Module Line.Integer_dependent