Language.Haskell.Liquid.Transforms.Rec

transformRecExpr

transformScope

outerScTr

innerScTr

isIdTRecBound

setIdTRecBound