Test.Inspection

Synopsis

Registering obligations

inspect

Defining obligations

data Obligation

mkObligation

data Property

(===)

(==-)

(=/=)

hasNoType