Module E_ACSL.Error

module Error: sig .. end

exception Typing_error of string
exception Not_yet of string