BiGraph | |
1 (Type/Class) | Type.Function |
2 (Data Constructor) | Type.Function |
biGraphInjective | Type.Function |
biGraphIsFun | Type.Function |
biGraph_eq_HaskFun | Type.Function |
BOOL | Type.Dummies |
Bool0 | |
1 (Data Constructor) | Type.Dummies |
2 (Type/Class) | Type.Dummies |
Bool1 | |
1 (Data Constructor) | Type.Dummies |
2 (Type/Class) | Type.Dummies |
BoundedType | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |