Template:ListConsConstructor
Revision as of 15:58, 30 August 2024 by Dennis.cosgrove (talk | contribs) (Created page with "[https://smlfamily.github.io/Basis/list.html#SIG:LIST.:::TY ::] construct a list out of a head element and a tail list")
:: construct a list out of a head element and a tail list