Safe HaskellNone

MAlonzo.Code.Data.List.Relation.Binary.Sublist.Heterogeneous.Core

Documentation

d_Sublist_26 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> () Source #

data T_Sublist_26 Source #

Constructors

C_'91''93'_28 
C__'8759''691'__36 T_Sublist_26 
C__'8759'__46 AgdaAny T_Sublist_26