isabelle

Type Members

1. case class Abs(name: String, typ: Typ, body: Term) extends Term with Product with Serializable

2. case class App(fun: Term, arg: Term) extends Term with Product with Serializable

3. case class Bound(index: BigInt) extends Term with Product with Serializable

4. class CancellableFuture[T] extends AnyRef

5. trait Codec[T] extends AnyRef

   A type class representing the ability to convert a type to and from an XML representation.

6. case class Const(name: String, typ: Typ) extends Term with Product with Serializable

7. case class DecodingException(msg: String, body: List[XMLTree]) extends RuntimeException with Product with Serializable

   Error case of XMLResult as an exception.

8. case class Free(name: String, typ: Typ) extends Term with Product with Serializable

9. implicit final class FutureOps[T] extends AnyVal

10. class Implementations extends AnyRef

    A managed set of known implementations of Environment.

11. type Indexname = (String, BigInt)

12. abstract class Operation[I, O] extends AnyRef

    Description of an atomic interaction with the prover.

13. type Sort = List[String]

14. sealed abstract class System extends AnyRef

    A running instance of a prover.

15. case class TFree(name: String, sort: Sort) extends Typ with Product with Serializable

16. case class TVar(name: (String, BigInt), sort: Sort) extends Typ with Product with Serializable

17. sealed abstract class Term extends AnyRef

18. sealed abstract class Typ extends AnyRef

19. case class Type(name: String, args: List[Typ] = immutable.this.Nil) extends Typ with Product with Serializable

20. case class Var(name: (String, BigInt), typ: Typ) extends Term with Product with Serializable

21. type XMLResult[+A] = Either[(String, List[XMLTree]), A]

    The result type for decoding values from XML trees.

    The result type for decoding values from XML trees. Failure values should contain an error message and a list of erroneous trees.