_CoqProject

-arg "-w '-notation-overridden'" -Q ./named_api NamedAPI

# API
named_api/API/core.v
named_api/API/fold_functions.v
named_api/API/debug_functions.v
# API: inductive
named_api/API/inductive_access.v
named_api/API/inductive_store.v
# API: context
named_api/API/context_access.v
named_api/API/context_store.v
# API: views
named_api/API/view_args.v
# API: create terms
named_api/API/creating_terms.v
named_api/API/decide.v
# API: All
named_api/API/api_debruijn.v

# Preproccess data
named_api/Preprocess/uniform_parameters.v
named_api/Preprocess/strictly_positive_uniform_parameters.v

# Recursors
named_api/Recursors/commons.v
named_api/Recursors/recursor_rec_call.v
named_api/Recursors/recursors.v


# Custom Parametricity
named_api/CustomParam/custom_parametricty_rec_call.v
named_api/CustomParam/custom_parametricity.v
named_api/CustomParam/fundamental_theorem.v

# Functoriality
named_api/Functoriality/functoriality.v
named_api/Functoriality/functoriality_rec_call.v

# Tests
named_api/UnitTests/unit_tests.v
named_api/UnitTests/nesting_param.v
named_api/UnitTests/t01_basic_types.v
named_api/UnitTests/t02_uniform_param_types.v
named_api/UnitTests/t03_indexed_types.v
named_api/UnitTests/t04_mutual_types.v
named_api/UnitTests/t05_non_uniform_param_types.v
named_api/UnitTests/t06_lets_and_reduction.v
named_api/UnitTests/t07_nested_types.v
# named_api/UnitTests/t08_metacoq_types.v
# named_api/UnitTests/t11_strpos_uparams.v