Parameter Arity_Three.4-R

type t
val sentinel : t