• Home
• at.logic.gapt
• gapt_3
• 2.17.0
• source code
• Sort.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

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))
}