Clflags(3) OCaml library Clflags(3) # [NAME](#NAME) Clflags - Command line flags # [Module](#Module) Module Clflags # [Documentation](#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** 2026-10-23 OCamldoc --- Document: Clflags(3o) from ocaml 5.5.2-r0 (Chainguard OS) Source: https://github.com/ocaml/ocaml