package baguette_sharp

  1. Overview
  2. Docs

Module Baguette_sharp.ConditionsSource

The Condition Module of the B# STD

Sourceval two_argument_func : 'a list -> ('a -> 'a -> Parser.parameters) -> Parser.parameters

A general function to create two argument methods

Implements the equality function

Sourceval inferior_large : Parser.parameters list -> Parser.parameters

Implements the <= function

Sourceval inferior_strict : Parser.parameters list -> Parser.parameters

Implements the < function

Sourceval superior_large : Parser.parameters list -> Parser.parameters

Implements the >= function

Sourceval superior_strict : Parser.parameters list -> Parser.parameters

Implements the > function

Implements the || function

Implements the && function

Implements the XOR function

Implements the NOT function