package bwd

You can search for identifiers within the package.

in-package search v0.2.0

bwd
- Bwd
  - Bwd
    
    Notation
  - BwdLabels
    
    Notation
  - BwdNotation

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

module BwdNotation : module type of BwdNotation

An alias of Bwd.Notation for infix notation.