Module Corelang__.Syntax
type c_link=|LocalLink of int局所リンクは一意な id に変換
|FreeLink of string自由リンク
|CProcCtx of stringプロセス文脈
|CIntData of int整数アトム
アルファ変換後のリンク名
type c_atom= string * c_link listtype c_conn= string * stringtype c_rule=|CRule of string * c_atom list * Parse.arg list * (c_atom list * c_conn list)
val string_of_link : c_link -> stringdumper
val string_of_atom : (string * c_link list) -> stringval string_of_atoms : (string * c_link list) list -> stringval string_of_connector : (string * string) -> stringval string_of_connectors : (string * string) list -> stringval string_of_rhs : ((string * c_link list) list * (string * string) list) -> stringval string_of_rule : c_rule -> stringval string_of_sem_graph : ((string * c_link list) list * c_rule list) -> string