Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The Condition Module of the B# STD
val two_argument_func :
'a list ->
('b -> 'c -> Parser.parameters) ->
Parser.parameters
A general function to create two argument methods
val equality : Parser.parameters list -> Parser.parameters
Implements the equality function
val inferior_large : Parser.parameters list -> Parser.parameters
Implements the <= function
val inferior_strict : Parser.parameters list -> Parser.parameters
Implements the < function
val superior_large : Parser.parameters list -> Parser.parameters
Implements the >= function
val superior_strict : Parser.parameters list -> Parser.parameters
Implements the > function
val binary_or : Parser.parameters list -> Parser.parameters
Implements the || function
val binary_and : Parser.parameters list -> Parser.parameters
Implements the && function
val binary_xor : Parser.parameters list -> Parser.parameters
Implements the XOR function
val binary_not : Parser.parameters list -> Parser.parameters
Implements the NOT function