Module WideningDelay.LocalChainParams

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