`module ClosureHashtbl : InferStdlib.IStd.Caml.Map.S with type ClosureHashtbl.key = CTL.t`
`type context_linter_map``= bool ClosureHashtbl.t```
`val init_global_nodes_valuation : unit ‑> unit`
`val init_active_map : unit ‑> bool ClosureHashtbl.t`
`val update_linter_context_map : Ctl_parser_types.ast_node ‑> context_linter_map ‑> context_linter_map`
`val build_valuation : Ctl_parser_types.ast_node ‑> CLintersContext.context ‑> context_linter_map ‑> unit`
`val is_decl_allowed : CLintersContext.context ‑> InferGenerated.Clang_ast_t.decl ‑> bool`