Commit 4c9a7905 authored by Asma Tafat-Bouzid's avatar Asma Tafat-Bouzid
Browse files

Orthographe

parent 553cad8b
......@@ -5,7 +5,7 @@ use import int.Int
type bag 'a
(* the most basic operation is the number of occurences *)
(* the most basic operation is the number of occurrences *)
function nb_occ (x: 'a) (b: bag 'a): 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