Module `Analyze__.Sem_graph`

module LocalPortMap : sig ... end: 局所リンクのポートの収集のためのマップモジュール

type local_port_map = (int * int) list LocalPortMap.t: アトムの位置とポートの引数番号の組のリストのマップ

val string_of_port : (int * int) -> string: ポート情報の dumper

val string_of_local_port_binding : (int * (int * int) list) -> string: local_port_map の binding の dumper

val string_of_local_port_map : (int * int) list LocalPortMap.t -> string: local_port_map の dumper

type a_atom = int * Corelang.c_atom: アトムには一意な id を割り当てる

type a_graph = local_port_map * a_atom list: アトムのリストには局所リンクのポートの情報も付加する

type a_rule = | ARule of string * a_graph * Parse.arg list * (a_graph * Corelang.c_conn list)

val string_of_graph : ((int * int) list LocalPortMap.t * ('a * (string * Corelang.c_link list)) list) -> string
val string_of_rule : a_rule -> string
val string_of_sem_graph : (((int * int) list LocalPortMap.t * ('a * (string * Corelang.c_link list)) list) * a_rule list) -> string