Module Stdppx.NonEmptyListSource

Sourcetype 'a t = 'a * 'a list
Sourceval (@) : ('a * 'b list) -> ('b * 'b list) -> 'a * 'b list
Sourceval hd : ('a * 'b) -> 'a
Sourceval to_list : ('a * 'a list) -> 'a list
Sourceval map : f:('a -> 'b) -> ('a * 'a list) -> 'b * 'b list