Module `Analyze__.Port`

val add_local_port : 'a -> 'b -> ('a * 'b) list Analyze__.Sem_graph.LocalPortMap.t -> Corelang.c_link -> ('a * 'b) list Analyze__.Sem_graph.LocalPortMap.t: 局所リンクならポートの集合のマップに cons する

val local_ports_of_atoms : ('a * ('b * Corelang.c_link list)) list -> ('a * int) list Analyze__.Sem_graph.LocalPortMap.t: アトムのリストから局所リンクが出現したポートを収集する