From 378e9bf429908170dac1a0a41f09fc91baed31eb Mon Sep 17 00:00:00 2001 From: FedericoAureliano Date: Mon, 6 May 2024 12:24:46 -0700 Subject: [PATCH] add documentation for TesterType as a comment above the case class --- src/main/scala/uclid/lang/UclidLanguage.scala | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/main/scala/uclid/lang/UclidLanguage.scala b/src/main/scala/uclid/lang/UclidLanguage.scala index be3ad2ca..3e2ce1db 100644 --- a/src/main/scala/uclid/lang/UclidLanguage.scala +++ b/src/main/scala/uclid/lang/UclidLanguage.scala @@ -1220,6 +1220,9 @@ case class ConstructorType(id: Identifier, inTypes: List[(Identifier, Type)], ou override def isMap = true } +// Every tester $t$ corresponds to exactly one constructor $c$ of an ADT inType. +// $t$ is a predicate that takes a term $x$ of type inType and returns true iff +// $x$ was built using constructor $c$. case class TesterType(id: Identifier, inType: Type) extends Type { override def toString = id + " " + inType.toString() override def isMap = true