Language.Haskell.Liquid.Prover.Types

type LVar

type LVarCtor

type LAxiom

type LQuery

data Axiom a

data Var a

data Ctor a

data VarCtor a

data Expr a

data Predicate

data Proof a

data Instance a

data Query a

data ArgExpr a

varCtorToCtor

isEVar

mkExpr