Gracilariidae Gracilariidae prop. n. A natural family of moths, the larvae of which are one type of leaf miner.