allowedArithmeticSignatures

val allowedArithmeticSignatures: List<Signature>

All allowed arithmetic signatures in Prolog expressions