Module Config.Param

This module contains parameters that may be modified through command-line flags.

val set : string -> string -> unit
val all : unit -> (string * string * (string -> (unit, string) Stdlib.Result.t)) list
val switch_max_case : unit -> int
val inlining_limit : unit -> int
val tailcall_max_depth : unit -> int
val constant_max_depth : unit -> int
type tc =
  1. | TcNone
  2. | TcTrampoline
val tailcall_optim : unit -> tc
val lambda_lifting_threshold : unit -> int
val lambda_lifting_baseline : unit -> int