Commit 5e8735b3 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Use why3doc comments rather than why3 labels for module documentation.

parent ace0e42f
......@@ -11,7 +11,9 @@ module Tree
end
module Size "number of nodes"
(** {2 Number of nodes} *)
module Size
use import Tree
use import int.Int
......@@ -27,7 +29,9 @@ module Size "number of nodes"
end
module Occ "occurrences in a binary tree"
(** {2 Occurrences in a binary tree} *)
module Occ
use import Tree
use import int.Int
......@@ -45,7 +49,9 @@ module Occ "occurrences in a binary tree"
end
module Height "height of a tree"
(** {2 Height of a tree} *)
module Height
use import Tree
use import int.Int
......@@ -61,7 +67,9 @@ module Height "height of a tree"
end
module Inorder "inorder traversal"
(** {2 In-order traversal} *)
module Inorder
use import Tree
use import list.List
......@@ -74,7 +82,9 @@ module Inorder "inorder traversal"
end
module Preorder "preorder traversal"
(** {2 Pre-order traversal} *)
module Preorder
use import Tree
use import list.List
......@@ -99,7 +109,9 @@ module InorderLength
end
module Zipper "Huet's zipper"
(** {2 Huet's zipper} *)
module Zipper
use import Tree
......
......@@ -539,7 +539,9 @@ module Induction
end
module Fibonacci "Fibonacci numbers"
(** {2 Fibonacci numbers} *)
module Fibonacci
use import Int
......
......@@ -334,8 +334,9 @@ module Min
end
(** sum on finite set *)
module FsetSum "Sum of a function over a finite set"
(** {2 Sum of a function over a finite set} *)
module FsetSum
use import int.Int
use import Fset as S
......
(** {1 Sum of the elements of an indexed container} *)
module Sum "Sum of the elements of an indexed container"
module Sum
use import int.Int
......
Markdown is supported
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