MAlonzo.Code.Agda.Builtin.String.Properties
d_primStringToListInjective_12 :: a Source #
d_primStringFromListInjective_18 :: a Source #