Parameter Make.3-Result

type t
val key : t -> Key.t