sig
  val category : File.code_transformation_category
  val emitter : Emitter.t
end