Source
Contents
Index
Safe Haskell
None
MAlonzo.Code.Agda.Builtin.Char.Properties
Documentation
d_primCharToNatInjective_12
:: a
Source
#