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 =
| TcNone
| TcTrampoline
val tailcall_optim : unit -> tc
val lambda_lifting_threshold : unit -> int
val lambda_lifting_baseline : unit -> int