Generated with

gapt/gapt/gapt.proofs/gapt.proofs.context/gapt.proofs.context.update/TypeDefinition

TypeDefinition

gapt.proofs.context.update.TypeDefinition

trait TypeDefinition extends Update

Represents the definition of a base type ( uninterpreted base type, the base type of a structurally inductive type, etc. )

Attributes

Source: TypeDefinition.scala
Graph
Supertypes: trait Update

class Object

trait Matchable

class Any
Known subtypes: class InductiveType

class Sort

Members list

Value members

Abstract methods

Attributes

Source: TypeDefinition.scala

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

Inherited from:: Update
Source: Update.scala

In this article

Generated with