gapt.formats.babel.Notation.Quantifier
Attributes
-
Source
-
BabelSignature.scala
-
Graph
-
-
Supertypes
-
trait Serializable
class Object
trait Matchable
class Any
Show all
Members list
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
-
-
Inherited from:
-
Notation
-
Source
-
BabelSignature.scala