sig
type abs_options
val add_imp_vars : string -> unit
val add_sorted_from : string -> unit
val default_options : Abstraction.abs_options
val sorting_options : Abstraction.abs_options
val valB_options : Abstraction.abs_options
val valA_valB_options : Abstraction.abs_options
val mk_abstraction :
Abstraction.abs_options -> Assertions.prover -> Genarith.abstraction
val prover_calls : int Pervasives.ref
val verbose : int Pervasives.ref
val args : (Arg.key * Arg.spec * Arg.doc) list
end