Library
Module
Module type
Parameter
Class
Class type
This stateful module contains the information about exluded toplevel declarations.
Adds exclusions from the passed file to excluded list.
Raises Sys_error
if an i/o error occurs, Exclude.Exception
if an error occurs while parsing the file.
contains_value file name
tests whether toplevel value with name name
from file file
is in excluded list.