type partial =
Leaf of node
- | Node of tn_symbol * partial array
+ | Node0 of tn_symbol
+ | Node1 of tn_symbol * partial
+ | Node2 of tn_symbol * partial * partial
+type conf = C0 | C1 | C2 | C3 | C4 | C5 | C6
val parse : string -> t
val save : t -> string -> unit
val start_first_child : t -> node -> node
val start_next_sibling : t -> node -> node
val get_rule : t -> n_symbol -> rhs
+val get_conf : rhs -> conf
val get_rank : rhs -> int
val get_id1_rank : rhs -> int
val get_id2_rank : rhs -> int