package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Expr_raw.BoolSource

Sourceval true_ : t

The constant true expression.

Sourceval false_ : t

The constant false expression.

Sourceval v : bool -> t

v b constructs a Boolean expression from a boolean value.

Sourceval not : t -> t

not expr constructs the logical negation of an expression.

Sourceval equal : t -> t -> t

equal expr1 expr2 constructs an equality expression.

Sourceval distinct : t -> t -> t

distinct expr1 expr2 constructs a distinctness expression.

Sourceval and_ : t -> t -> t

and_ expr1 expr2 constructs a logical AND expression.

Sourceval or_ : t -> t -> t

or_ expr1 expr2 constructs a logical OR expression.

Sourceval ite : t -> t -> t -> t

ite cond then_ else_ constructs an if-then-else expression.