Parameter Arity_Two.3-R

type t
val sentinel : t