--- name: "Clflags" section: "3o" platform: "linux" package: "ocaml" version: "5.5.0-1" release: "Arch Linux 2026-11-01" platforms: ["linux"] url: "https://new.carta.tech/Clflags" --- # Clflags(3o) Command line flags ## NAME Clflags - Command line flags ## Module Module Clflags ## Documentation Module **Clflags**\ : **sig end** Command line flags *module Int\_arg\_helper :* **sig end** Optimization parameters represented as ints indexed by round number. *module Float\_arg\_helper :* **sig end** Optimization parameters represented as floats indexed by round number. *type inlining\_arguments* = {\ inline\_call\_cost : **int option** ;\ inline\_alloc\_cost : **int option** ;\ inline\_prim\_cost : **int option** ;\ inline\_branch\_cost : **int option** ;\ inline\_indirect\_cost : **int option** ;\ inline\_lifting\_benefit : **int option** ;\ inline\_branch\_factor : **float option** ;\ inline\_max\_depth : **int option** ;\ inline\_max\_unroll : **int option** ;\ inline\_threshold : **float option** ;\ inline\_toplevel\_threshold : **int option** ;\ } *val classic\_arguments* : **inlining\_arguments** *val o1\_arguments* : **inlining\_arguments** *val o2\_arguments* : **inlining\_arguments** *val o3\_arguments* : **inlining\_arguments** *val use\_inlining\_arguments\_set* : **?round:int -\> inlining\_arguments -\> unit** Set all the inlining arguments for a round. The default is set if no round is provided. *val objfiles* : **string list ref** *val ccobjs* : **string list ref** *val dllibs* : **(suffixed:bool \* string) list ref** *val cmi\_file* : **string option ref** *val compile\_only* : **bool ref** *val output\_name* : **string option ref** *val include\_dirs* : **string list ref** *val hidden\_include\_dirs* : **string list ref** *val standard\_library\_default* : **string option ref** *val no\_std\_include* : **bool ref** *val no\_cwd* : **bool ref** *val print\_types* : **bool ref** *val make\_archive* : **bool ref** *val debug* : **bool ref** *val debug\_full* : **bool ref** *val unsafe* : **bool ref** *val use\_linscan* : **bool ref** *val link\_everything* : **bool ref** *val custom\_runtime* : **bool ref** *val no\_check\_prims* : **bool ref** *val bytecode\_compatible\_32* : **bool ref** *val output\_c\_object* : **bool ref** *val output\_complete\_object* : **bool ref** *val output\_complete\_executable* : **bool ref** *val all\_ccopts* : **string list ref** *val classic* : **bool ref** *val nopervasives* : **bool ref** *val match\_context\_rows* : **int ref** *val safer\_matching* : **bool ref** *val open\_modules* : **string list ref** *val preprocessor* : **string option ref** *val all\_ppx* : **string list ref** *val absname* : **bool ref** *val annotations* : **bool ref** *val binary\_annotations* : **bool ref** *val store\_occurrences* : **bool ref** *val use\_threads* : **bool ref** *val noassert* : **bool ref** *val verbose* : **bool ref** *val noprompt* : **bool ref** *val nopromptcont* : **bool ref** *val init\_file* : **string option ref** *val noinit* : **bool ref** *val noversion* : **bool ref** *val use\_prims* : **string ref** *val use\_runtime* : **string ref** *val target\_bindir* : **string ref** *val launch\_method* : **Config.launch\_method ref** *val search\_method* : **Config.search\_method ref** *val plugin* : **bool ref** *val principal* : **bool ref** *val print\_variance* : **bool ref** *val real\_paths* : **bool ref** *val recursive\_types* : **bool ref** *val strict\_sequence* : **bool ref** *val strict\_formats* : **bool ref** *val applicative\_functors* : **bool ref** *val make\_runtime* : **bool ref** *val c\_compiler* : **string option ref** *val no\_auto\_link* : **bool ref** *val dllpaths* : **string list ref** *val make\_package* : **bool ref** *val for\_package* : **string option ref** *val error\_size* : **int ref** *val float\_const\_prop* : **bool ref** *val no\_alias\_deps* : **bool ref** *val unique\_ids* : **bool ref** *val canonical\_ids* : **bool ref** *val locations* : **bool ref** *val dump\_source* : **bool ref** *val dump\_parsetree* : **bool ref** *val dump\_typedtree* : **bool ref** *val dump\_shape* : **bool ref** *val dump\_matchcomp* : **bool ref** *val dump\_rawlambda* : **bool ref** *val dump\_lambda* : **bool ref** *val dump\_rawclambda* : **bool ref** *val dump\_clambda* : **bool ref** *val dump\_rawflambda* : **bool ref** *val dump\_flambda* : **bool ref** *val dump\_flambda\_let* : **int option ref** *val dump\_instr* : **bool ref** *val keep\_camlprimc\_file* : **bool ref** *val keep\_asm\_file* : **bool ref** *val optimize\_for\_speed* : **bool ref** *val dump\_cmm* : **bool ref** *val dump\_selection* : **bool ref** *val dump\_cse* : **bool ref** *val dump\_live* : **bool ref** *val dump\_spill* : **bool ref** *val dump\_split* : **bool ref** *val dump\_interf* : **bool ref** *val dump\_prefer* : **bool ref** *val dump\_regalloc* : **bool ref** *val dump\_reload* : **bool ref** *val dump\_scheduling* : **bool ref** *val dump\_linear* : **bool ref** *val dump\_interval* : **bool ref** *val keep\_startup\_file* : **bool ref** *val dump\_combine* : **bool ref** *val native\_code* : **bool ref** *val default\_inline\_threshold* : **float** *val inline\_threshold* : **Float\_arg\_helper.parsed ref** *val inlining\_report* : **bool ref** *val simplify\_rounds* : **int option ref** *val default\_simplify\_rounds* : **int ref** *val rounds* : **unit -\> int** *val default\_inline\_max\_unroll* : **int** *val inline\_max\_unroll* : **Int\_arg\_helper.parsed ref** *val default\_inline\_toplevel\_threshold* : **int** *val inline\_toplevel\_threshold* : **Int\_arg\_helper.parsed ref** *val default\_inline\_call\_cost* : **int** *val default\_inline\_alloc\_cost* : **int** *val default\_inline\_prim\_cost* : **int** *val default\_inline\_branch\_cost* : **int** *val default\_inline\_indirect\_cost* : **int** *val default\_inline\_lifting\_benefit* : **int** *val inline\_call\_cost* : **Int\_arg\_helper.parsed ref** *val inline\_alloc\_cost* : **Int\_arg\_helper.parsed ref** *val inline\_prim\_cost* : **Int\_arg\_helper.parsed ref** *val inline\_branch\_cost* : **Int\_arg\_helper.parsed ref** *val inline\_indirect\_cost* : **Int\_arg\_helper.parsed ref** *val inline\_lifting\_benefit* : **Int\_arg\_helper.parsed ref** *val default\_inline\_branch\_factor* : **float** *val inline\_branch\_factor* : **Float\_arg\_helper.parsed ref** *val dont\_write\_files* : **bool ref** *val std\_include\_flag* : **string -\> string** *val std\_include\_dir* : **unit -\> string list** *val shared* : **bool ref** *val dlcode* : **bool ref** *val pic\_code* : **bool ref** *val runtime\_variant* : **string ref** *val with\_runtime* : **bool ref** *val force\_slash* : **bool ref** *val keep\_docs* : **bool ref** *val keep\_locs* : **bool ref** *val opaque* : **bool ref** *val profile\_columns* : **\[ \`Abs\_top\_heap \| \`Alloc \| \`Time \| \`Top\_heap \] list ref** *val flambda\_invariant\_checks* : **bool ref** *val unbox\_closures* : **bool ref** *val unbox\_closures\_factor* : **int ref** *val default\_unbox\_closures\_factor* : **int** *val unbox\_free\_vars\_of\_closures* : **bool ref** *val unbox\_specialised\_args* : **bool ref** *val clambda\_checks* : **bool ref** *val cmm\_invariants* : **bool ref** *val parsetree\_ghost\_loc\_invariant* : **bool ref** *val default\_inline\_max\_depth* : **int** *val inline\_max\_depth* : **Int\_arg\_helper.parsed ref** *val remove\_unused\_arguments* : **bool ref** *val dump\_flambda\_verbose* : **bool ref** *val classic\_inlining* : **bool ref** *val afl\_instrument* : **bool ref** *val afl\_inst\_ratio* : **int ref** *val function\_sections* : **bool ref** *val all\_passes* : **string list ref** *val dumped\_pass* : **string -\> bool** *val set\_dumped\_pass* : **string -\> bool -\> unit** *val dump\_into\_file* : **bool ref** *val dump\_dir* : **string option ref** *val keyword\_edition* : **string option ref** *val parse\_keyword\_edition* : **string -\> (int \* int) option \* string list** *type* **'a** *env\_reader* = {\ parse : **string -\> 'a option** ;\ print : **'a -\> string** ;\ usage : **string** ;\ env\_var : **string** ;\ } *val color* : **Misc.Color.setting option ref** *val color\_reader* : **Misc.Color.setting env\_reader** *val error\_style* : **Misc.Error\_style.setting option ref** *val error\_style\_reader* : **Misc.Error\_style.setting env\_reader** *val unboxed\_types* : **bool ref** *val insn\_sched* : **bool ref** *val insn\_sched\_default* : **bool** *module Compiler\_pass :* **sig end** *val stop\_after* : **Compiler\_pass.t option ref** *val should\_stop\_after* : **Compiler\_pass.t -\> bool** *val set\_save\_ir\_after* : **Compiler\_pass.t -\> bool -\> unit** *val should\_save\_ir\_after* : **Compiler\_pass.t -\> bool** *module Dump\_option :* **sig end** *val arg\_spec* : **(string \* Arg.spec \* string) list ref** *val add\_arguments* : **string -\> (string \* Arg.spec \* string) list -\> unit** *val create\_usage\_msg* : **string -\> string** *val print\_arguments* : **string -\> unit** *val reset\_arguments* : **unit -\> unit**