module Error: sig .. end
sig
end
exception Typing_error of E_ACSL.Options.category option * string
E_ACSL.Options.category option * string
exception Not_yet of E_ACSL.Options.category option * string