Module WideningDelay.GlobalChainParams

val n : unit -> int
val names : int -> string