gapt.proofs.context.update.Sort.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation

General Architecture for Proof Theory

The newest version!

package gapt.proofs.context.update

import gapt.expr.ty.TBase
import gapt.proofs.context.Context
import gapt.proofs.context.facet.BaseTypes
import gapt.proofs.context.State

/** Uninterpreted base type. */
case class Sort(ty: TBase) extends TypeDefinition {
  override def apply(ctx: Context): State =
    ctx.state.update[BaseTypes](_ + ty)
}

object Sort {
  def apply(tyName: String): Sort = Sort(TBase(tyName))
}