Module Asm_contracts

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