Searched defs:natSing (Results 1 – 1 of 1) sorted by relevance
269 instance KnownNat 0 where natSing = SNat 0 function270 instance KnownNat 1 where natSing = SNat 1 function271 instance KnownNat 2 where natSing = SNat 2 function