Parameter Arity_One.2-R

type t
val sentinel : t