Data.Logic.ATP.LitWrapper

data JL a