Language.Haskell.Liquid.Types.Bounds

data Bound t e

type RBound

type RRBound tv

type RBEnv

type RRBEnv tv

makeBound