package bwd

  1. Overview
  2. Docs

Module BwdSource

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

This module is similar to List but for backward lists.

Sourcemodule BwdLabels : module type of BwdLabels

This module is similar to ListLabels but for backward lists.

Sourcemodule BwdNotation : module type of BwdNotation

An alias of Bwd.Notation for infix notation.