Module BwdSource

Sourcetype 'a bwd =
  1. | Emp
  2. | Snoc of 'a bwd * 'a
Sourcemodule BwdLabels : sig ... end

This module is intended to mimic a small part of the Stdlib.ListLabels module. We only add the functions we need.

Sourcemodule BwdNotation : sig ... end