PropTypeClass
Namespace: Persimmon.Dried
Functions and values
| Function or value | Description |
instance a b
Signature: a:^a -> b:^b -> Prop
Type parameters: ^a, ^b |
|
Namespace: Persimmon.Dried
| Function or value | Description |
instance a b
Signature: a:^a -> b:^b -> Prop
Type parameters: ^a, ^b |
|
