package bwd

You can search for identifiers within the package.

in-package search v0.2.0

bwd
- Library bwd
  - Bwd
    
    Bwd
    
    Notation
    
    BwdLabels
    
    Notation
    
    BwdNotation
- Sources
  - bwd
    
    Bwd.ml
    
    BwdDef.ml
    
    BwdLabels.ml
    
    BwdNoLabels.ml
    
    BwdNotation.ml
    
    bwd__.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Bwd.BwdNotation`Source

An alias of Bwd.Notation for infix notation.

include module type of Bwd.Notation

Sourceval (#<) : 'a bwd -> 'a -> 'a bwd

An alias of Bwd.snoc.

Sourceval (<><) : 'a bwd -> 'a list -> 'a bwd

An alias of Bwd.append.

Sourceval (<>>) : 'a bwd -> 'a list -> 'a list

An alias of Bwd.prepend.