Retourner au contenu associé (entrée de forum : [OCaml] Problème de type avec les modules)
Posté par benja le 24 février 2013 à 14:11. En réponse au message [OCaml] Problème de type avec les modules. Évalué à 2.
Ok /me doit apprendre à lire plus loin que le titre :)
Bon quand tu fais X : SIG, ben SIG c'est SIG. donc SIG.a != un type inféré, c'est SIG.a point. Ensuite (X:SIG with type t = Y.t) ben c'est une autre signature.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Fin de solution.
Posté par benja . En réponse au message [OCaml] Problème de type avec les modules. Évalué à 2.
Ok /me doit apprendre à lire plus loin que le titre :)
Bon quand tu fais X : SIG, ben SIG c'est SIG. donc SIG.a != un type inféré, c'est SIG.a point. Ensuite (X:SIG with type t = Y.t) ben c'est une autre signature.