2010-11-07から1日間の記事一覧
OCaml 3.12での話なんですが (* is_empty_ Map.Make(String) something is_empty_ Map.Make(Int32) something *) let is_empty_ modl = let module Modl = (val modl : Map.S) in let aux (map : 'a Modl.t) = Modl.is_empty map in aux (* local module 'Mo…