info.hupel.isabelle

ml

package ml

Visibility
  1. Public
  2. All

Type Members

  1. sealed abstract class Expr[A] extends AnyRef

  2. trait Opaque[A] extends AnyRef

  3. final case class Ref[A](id: BigInt)(implicit evidence$1: Opaque[A]) extends Product with Serializable

Value Members

  1. object Expr

  2. object Opaque

Ungrouped