Up

module Derivation

: sig
#
type t
#
type context
#
val empty : t
#
val tail : int -> Grammar.Symbol.t array -> t
#
val build : int -> Grammar.Symbol.t array -> t -> string option -> t
#
val prepend : Grammar.Symbol.t -> t -> t
#
val factor : t Item.Map.t -> context * t Item.Map.t
#
val print : Pervasives.out_channel -> t -> unit
#
val printc : Pervasives.out_channel -> context -> unit
end