Bonjour à tous, j’apprends OCaml et je galère un peu avec les modules et les interfaces, par exemple, voyez ce petit bout de code :
module type Ai =
sig
type a
type b
val f : b -> a
end
module A = functor (S:Set.S) ->
struct
type a = S.t (* le champ t d'un module Set est le type de l'ensemble, cf http://caml.inria.fr/pub/docs/manual-ocaml-312/libref/Set.html *)
type b = S.
(…)