```
public final class HPre
extends java.lang.Object
```
A basic prelude of values lifted into the type system.

Nested Classes
Modifier and Type	Class	Description
`static class`	`HPre.HAdd<A extends HPre.HNat<A>,B extends HPre.HNat<B>,C extends HPre.HNat<C>>`	Type-level integer arithmetic
`static class`	`HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>`	Type-level boolean conjunction.
`static class`	`HPre.HBool`	A type-level Boolean
`static class`	`HPre.HCond<T,X,Y,Z>`	A type-level conditional.
`static class`	`HPre.HEq<X,Y,B extends HPre.HBool>`	Type-level equality.
`static class`	`HPre.HFalse`	Boolean false
`static class`	`HPre.HNat<A extends HPre.HNat<A>>`	Type-level natural numbers.
`static class`	`HPre.HOr<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>`	Type-level boolean disjunction.
`static class`	`HPre.HSucc<N extends HPre.HNat<N>>`	A natural number N + 1
`static class`	`HPre.HTrue`	Boolean true
`static class`	`HPre.HZero`	Type-level zero

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static HPre.HFalse`	`hFalse()`	Returns a boolean value whose type represents falsehood.
`static HPre.HTrue`	`hTrue()`	Returns a boolean value whose type represents truth.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Modifier and Type	Field	Description
`private static HPre.HFalse`	`hFalse`
`private static HPre.HTrue`	`hTrue`

Class HPre