Language.Fixpoint.Types.Refinements

Representing Terms

data Bop

data Brel

data Expr

type Pred

data KVar

data Subst

data KVSub

data Reft

data SortedReft

Constructing Terms

Generalizing Embedding with Typeclasses

class Expression a

class Predicate a

class Subable a

class Reftable r

Constructors

Predicates

isFunctionSortedReft

isSingletonReft

Destructing

Transforming

Gradual Type Manipulation