ocaml - OCamlのタイプFIとUNKNOWNは何ですか?

Question

私はOCamlが初めてです。MacOSに最新の自作でutop（バージョン2.6.0）をインストールし、ライブラリをopam install core base.

これが私のもの.ocamlinitです：

#use "topfind";;
#thread;;
#require "core.top";;

open Base;;
open Core;;

タイプのエラーに遭遇しましたFI:

utop # FI;;
Line 1, characters 0-2:
Error: The constructor FI expects 3 argument(s),
       but is applied here to 0 argument(s)

FIOCamlの型は何ですか?

infoTAPL ( https://www.cis.upenn.edu/~bcpierce/tapl/ )で導入された型は次のとおりですtype info = FI of string * int * int | UNKNOWN。

UNKNOWNOCamlの型は何ですか?