Ivory.Language.Cond

emitPreCond

emitPostCond

data Cond

check

checkStored'

class CheckStored c

class Requires c

requires'

class Ensures c

ensures'

ensures_'