mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
20 lines
377 B
Plaintext
20 lines
377 B
Plaintext
module AnInterface
|
|
[@java:package:fr.labri]
|
|
[@java:class_kind:interface]
|
|
|
|
type t
|
|
end
|
|
|
|
|
|
module AnImplementation
|
|
[@java:implements:fr.labri.AnInterface,java.lang.Comparable<AnImplementation>]
|
|
use AnInterface
|
|
use mach.java.lang.Integer
|
|
|
|
type t
|
|
|
|
let compare_to(self [@W:unused_variable:N]: t) (other [@W:unused_variable:N] : t) : integer = -1
|
|
end
|
|
|
|
|