Coq_checklib.CheckFlags
val set_local_flags : Declarations.typing_flags -> Environ.env -> Environ.env
Set flags except for those ignored by the checker (see .ml file for those).