Parameter Checked.X

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