Module `Corelang__Link`

リンク名の解析

局所・自由リンクを収集する

module LinkMap : sig ... end: リンク名の収集用のマップオブジェクト

module LinkSet : sig ... end: 自由リンクの名前のためのセットオブジェクト

val string_of_link_set : LinkSet.t -> string: LinkSet の dumper

val add_link : LinkMap.key -> int LinkMap.t -> int LinkMap.t: リンク名を管理する multiset に insert する

val link_names_of_atom : int LinkMap.t -> Parse.arg -> int LinkMap.t: アトムからリンク名を収集する

val link_names_of_atoms : Parse.arg list -> int LinkMap.t: アトムのリストからリンク名を収集する

val check_link_occur_num : string -> int -> unit: 3回以上現れているリンクならコンパイルエラーの例外を投げる

val check_link_occur_nums : int LinkMap.t -> unit: LinkMap において，3回以上現れているリンクがないかチェック

val partition_links : int LinkMap.t -> int LinkMap.t * int LinkMap.t: 局所リンクと自由リンクを分割

val links_of : Parse.arg list -> LinkMap.key list * LinkSet.t

局所・自由リンクを収集する

リンク条件のチェックも行う

returns: (局所リンクのリスト，自由リンクのセット)