Test.LeanCheck.Utils.TypeBinding
(-:)
(-:>)
(->:)
(->:>)
(->>:)
(->>:>)
(->>>:)
und
(>-)
bool
int
integer
float
double
char
string
mayb
eith
nat
int1
uint1
int2
uint2
int3
uint3
int4
uint4