Library Stdlib.funind.FunInd

From Stdlib Require Extraction.