cherry-lamr/cherry.lamr.norm/DummyIneqSystem

DummyIneqSystem

class DummyIneqSystem[T] extends InequasionSystem[T]
class Object
trait Matchable
class Any

Value members

Concrete methods

def +(ieq: Inequasion[T]): Either[String, InequasionSystem[T]]