package bwd

  1. Overview
  2. Docs
package bwd
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.