Skip to content
Snippets Groups Projects
Commit b16cfe1b authored by Maxime Jacquemin's avatar Maxime Jacquemin
Browse files

[Kernel] Add @since in rational.mli

parent 71fe3ebc
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/libraries/arithmetic/rational.mli
+ 2
− 0
View file @ b16cfe1b
......@@ -20,4 +20,6 @@
(* *)
(**************************************************************************)
(** Implementation of the [Field] signature based on rational numbers.
@since Frama-C+dev *)
include Field.S with type t = Q.t
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment