Generated with

gapt/gapt/gapt.formats/gapt.formats.babel/Notation/Infix

Infix

gapt.formats.babel.Notation.Infix

See theInfix companion object

case class Infix(token: Token, const: ConstName, precedence: Int, leftAssociative: Boolean) extends Notation

Attributes

Companion: object
Source: BabelSignature.scala
Graph
Supertypes: trait Serializable

trait Product

trait Equals

trait Notation

trait Update

class Object

trait Matchable

class Any
Show all

Members list

Value members

Inherited methods

Applies the modifications of this update to ctx.

Applies the modifications of this update to ctx.

Throws an exception if the modifications are invalid (for example if we would redefine a constant).

Attributes

Definition Classes: Notation -> Update
Inherited from:: Notation
Source: BabelSignature.scala

Attributes

Inherited from:: Product

Attributes

Inherited from:: Product

In this article

Generated with