Language.Haskell.Liquid.Bare.RefToLogic

class Transformable a

txRefToLogic