sig
type returns_clause =
Cil_types.stmt * Cil_types.behavior * Cil_types.identified_predicate
type goto_annot = Cil_types.stmt * Cil_types.code_annotation
type callback = Oneret.returns_clause -> Oneret.goto_annot list -> unit
val oneret : ?callback:Oneret.callback -> Cil_types.fundec -> unit
end