Language.Fixpoint.Types
class Fixpoint a
data FInfo a
data Symbol
data KVar
data Sort
data FTycon
type TCEmb a
data SymConst
data Constant
data Bop
data Brel
data Expr
data Pred
class Symbolic a
class Expression a
class Predicate a
data WfC a
data SubC a
type Tag
type Result a
data FixResult a
type FixSolution
data SEnv a
data SESearch a
type FEnv
data IBindEnv
type BindId
type BindMap a
data BindEnv
data Refa
data SortedReft
data Reft
class Reftable r
data Subst
class Subable a
Resultdata Kuts
data Qualifier
data Def a
data Located a
type LocSymbol
type LocText