扩展OCaml中的现有类型

扩展OCaml中的现有类型