We: Hey, find me TM
and TRem
such that exists SelectLeast[T, TM, TRem]
where T
defined by L = H :: T
. And TM < H
should hold.
1. hlistSelectLeast3
works since precedence
hlistSelectLeast3[H = _1, T = _2 :: _3 :: HNil, TM = ?, TRem = ?]: SelectLeast[H :: T, TM, H :: TRem]
We: Hey, find me TM2
and TRem2
such that exists SelectLeast[T2, TM2, TRem2]
where T2
defined by T == H2 :: T2
. And TM2 < H2
should hold.
2. hlistSelectLeast3
works since precedence