Language.Dove.Syntax

data Expr

data UniOp

data BinOp

let'

forAll

not'

(&&.)

(||.)

implies

unit

true

false

if'

length'

isArray

isInt

(==.)

(<.)

(<=.)

(>.)

(>=.)

mod'