Module BwdLabels.InfixSource

Infix notation

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

An alias of BwdLabels.snoc.

  • since 2.2.0
Sourceval (<@) : 'a bwd -> 'a list -> 'a bwd

An alias of BwdLabels.append.

  • since 2.2.0
Sourceval (@>) : 'a bwd -> 'a list -> 'a list

An alias of BwdLabels.prepend.

  • since 2.2.0

Deprecated infix notation

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

An alias of BwdLabels.snoc.

  • deprecated

    Use (<:)

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

An alias of BwdLabels.append.

  • deprecated

    Use (<@)

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

An alias of BwdLabels.prepend.

  • deprecated

    Use (@>)