OCaml中的位串匹配与构造