module Asm_contracts: sig
.. end
Code transformation for inferring contracts from information given
in GNU's extended assembly syntax. Registered as a transformation
occurring after annotations table are filled.
val category : File.code_transformation_category
the corresponding code transformation category.
val emitter : Emitter.t
emitter for the generated annotations.