Parameter Append_only_ext.K

type t
val t : t Repr__.Type.t