Language.Haskell.Liquid.ProofCombinators

(==:)

(<=:)

(<:)

(>:)

(==?)

(==.)

(<=.)

(<.)

(>.)

(>=.)

(?)

(***)

(==>)

(&&&)

(∵)

proof

toProof

simpleProof

trivial

data QED

type Proof

byTheorem

castWithTheorem

cast

class Arg a

(=*=.)

data PAnd a b

data POr a b