Serialized Form

Package dafny

Exception Class dafny.DafnyHaltException

class DafnyHaltException extends RuntimeException implements Serializable