Parameter Of_variant2.A

type t
module Intermediate : sig ... end
val finalize : Intermediate.t -> t