Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bwd
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Notation inspired by Conor McBride.
Notation inspired by Conor McBride.
An alias of BwdLabels.snoc.
An alias of BwdLabels.append.
val (<>>) : 'a bwd -> 'a list -> 'a listAn alias of BwdLabels.prepend.