paneman/derived/KeyListExtras.m3
generated by m3build
MODULE
KeyListExtras
=
ListExtras
(
KeyRec
,
KeyList
) END KeyListExtras.