Module BwdSource

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

This module mimics a small part of the Stdlib.ListLabels module.

Sourcemodule BwdNotation : sig ... end