Library Coq.derive.Derive
Declare
ML
Module
"derive_plugin".