Library Stdlib.Init.Datatypes

From Corelib Require Export Datatypes.

Create HintDb datatypes.