Module F.Intermediate

type t
module Part : sig ... end
val create : unit -> t
val apply_part : t -> Part.t -> t