Data.Logic.Classes.Atom

class Atom atom term v