Module `Corelang__.Rule`

val sym_diff : Corelang__.Link.LinkSet.t -> Corelang__.Link.LinkSet.t -> Corelang__.Link.LinkSet.t: disjunctive_union

val corelang_of_rule : string -> ((Corelang__.Link.LinkSet.t * (Corelang__.Syntax.c_atom list * (string * string) list)) * 'a list) -> Parse.proc -> ((Corelang__.Link.LinkSet.t * (Corelang__.Syntax.c_atom list * Corelang__.Syntax.c_conn list)) * 'b list) -> Corelang__.Syntax.c_rule

ルールの解析を行う

入力は既に解析済みのプロセス
サブルールの解析は入力として渡される前に既に行われている
今回はサブルールは認めないことにしているのであまり意味はないが