MAlonzo.Code.Agda.Builtin.List
type T_List_10 a0 = [] Source #
d_List_10 :: p1 -> p2 -> () Source #
pattern C_'91''93'_16 :: forall a. [a] Source #
pattern C__'8759'__22 :: forall a. a -> [a] -> [a] Source #