Module Segment.SegsSource

append friendly segment list

Sourcetype t
Sourceval empty : t

The empty list of segments []

Sourceval empty' : t

A singleton of the empty segment: [Segment.empty]. Do not confuse with the empty list of segments [].

Sourceval add_side : t -> Segment.side -> t

Append a side to the last segment of t

Sourceval append_seg : t -> Segment.segment -> t

Append a segment to the last segment of t

Sourceval append_sides : t -> Segment.side list -> t

Append a list of sides to the last segment of t

Sourceval push_bud : t -> t

Finalize the current last segment of t then append an empty semgent at the last of it

Sourceval to_segments : t -> Segment.segment list

Get the segment list representation of t

Sourceval to_string : t -> string

String representation of t

Sourceval of_segments : Segment.segment list -> t

The last segment is appendable

Sourceval last : t -> Segment.fat option

The last segment