{"image_url":null,"provider_name":"Hatena Blog","categories":["OCaml"],"provider_url":"https://hatena.blog","url":"https://camlspotter.hatenablog.com/entry/20081027/1225076108","description":"3.11 \u3067\u5c0e\u5165\u3055\u308c\u305f\u3001Private abbreviation type \u3092\u4f7f\u3063\u3066\u81ea\u7136\u6570\u3092\u5b9f\u88c5\u3057\u3066\u307f\u307e\u3057\u3087\u3046: module M : sig type nat = private int val nat_of_int : int -> nat val int_of_nat : nat -> int end = struct type nat = int let nat_of_int n = (assert (n >= 0)); n let int_of_nat n = n end","type":"rich","title":" Private abbreviation type ","height":"190","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcamlspotter.hatenablog.com%2Fentry%2F20081027%2F1225076108\" title=\" Private abbreviation type  - camlspotter\u2019s blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_url":"https://blog.hatena.ne.jp/camlspotter/","blog_url":"https://camlspotter.hatenablog.com/","version":"1.0","width":"100%","blog_title":"camlspotter\u2019s blog","published":"2008-10-27 11:55:08","author_name":"camlspotter"}