Module Asm_contracts

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.