API for krlmlr/empty

Global functions
krlmlr/empty documentation built on May 8, 2017, 11:59 a.m.