Why3 Standard Library index


General-purpose exceptions

module Exn

  exception Not_found

  exception Exit

end

Generated by why3doc 1.4.0