module type ANNEAU = sig type t (* type des éléments de l'anneau *) val zero : t val unit : t val plus : t -> t -> t val symm : t -> t val mult : t -> t -> t val equal : t -> t -> bool val tostring : t -> string end ;; module Int : ANNEAU module Bool : ANNEAU