functor (Generator : Generator.S) ->
  sig
    val file_decoder :
      Decoder.file ->
      Frame.content_kind ->
      (Decoder.input -> Generator.t Decoder.decoder) ->
      Generator.t -> Decoder.file_decoder
  end