Activate Add_copy_for_last Aform Automata Causal Causality Complete Config Control Copy Cost Simple cost function for an expressionCse Deadcode Defcaus Type definitions.Definit Type definitions.Deftypes Depend Dependences Deps_tools Disc Encore Global Graph Horizon Ident Init Initial Initialization Inline Inout Interface Letin Lexer Lident Lmm Location Markfunctions Match2condition Matching Misc Modules Oaux Obc Ocamlprinter Oprinter Parser Parsetree Patternsig Pcaus Period Pinit Plmm Pp_tools Pre Present Printer Proba Ptypes Reduce reduce expressions that are tagged to be static; leave other unchangedRemove_last_in_patterns Reset Schedule Scoping Shared Static static evaluation of expressionsTotal Translate Typerrors Types Typing Unsafe Vars Write Zaux Zelus Zlus2lmm Zopt