Library Stdlib.extraction.Extraction

From Corelib Require Export Extraction.