Parameter Chain.P

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