Monus

trait Monus[A]

Amer, K. Equationally complete classes of commutative monoids with monus. Algebra Universalis 18, 129–131 (1984). https://doi.org/10.1007/BF01182254

Companion:
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def monus(x: A, y: A): A

Extensions

Extensions

extension (x: A)
final def (y: A): A