Module Config.Param

val set : string -> string -> unit
val all : unit -> (string * string) list
val switch_max_case : unit -> int
val tailcall_max_depth : unit -> int
val constant_max_depth : unit -> int
type tc =
| TcNone
| TcTrampoline
val tailcall_optim : unit -> tc