info
.
hupel
.
isabelle
hol
package
hol
Linear Supertypes
LowPriorityImplicits
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
hol
LowPriorityImplicits
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
implicit
class
BoolExprOps
extends
AnyRef
implicit
class
HOLExprOps
[
A
]
extends
AnyRef
Value Members
object
HOLogic
implicit
def
bigIntTypeable
:
Embeddable
[
BigInt
]
implicit
def
boolTypeable
:
Embeddable
[
Boolean
]
implicit
def
listEmbeddable
[
T
]
(
implicit
arg0:
Embeddable
[
T
]
)
:
Embeddable
[
List
[
T
]]
implicit
def
listTypeable
[
T
]
(
implicit
arg0:
Typeable
[
T
]
)
:
Typeable
[
List
[
T
]]
Definition Classes
LowPriorityImplicits
Inherited from
LowPriorityImplicits
Inherited from
AnyRef
Inherited from
Any
Ungrouped