Module Bwd

type 'a bwd =
  1. | Emp
  2. | Snoc of 'a bwd * 'a
module Bwd : module type of Bwd

This module is similar to List but for backward lists.

module BwdLabels : module type of BwdLabels

This module is similar to ListLabels but for backward lists.