info
.
hupel
.
isabelle
ml
package
ml
Visibility
Public
All
Type Members
sealed abstract
class
Expr
[
A
]
extends
AnyRef
trait
Opaque
[
A
]
extends
AnyRef
final
case class
Ref
[
A
]
(
id:
BigInt
)
(
implicit
evidence$1:
Opaque
[
A
]
)
extends
Product
with
Serializable
Value Members
object
Expr
object
Opaque
Ungrouped