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) 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