bwd

Backward lists
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library bwd
Module Bwd
type 'a bwd =
| Emp
| 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.