(** {2 Types fo grew} *)

open Grew_graph

(**/**)
type graph = G_graph.t
type deco = G_deco.t
(**/**)

type module_name = string

(** Rule app *)
type rule_app = {
    rule_name: string;
    up: deco;
    down: deco;
}

(** the main type for display the result of a rewriting *)
type rew_display =
  | Empty (* pour les besoin du dev *)
  | Leaf of graph
  | Local_normal_form of graph * module_name * rew_display
  | Node of graph * module_name * (big_step * rew_display) list

(** the type for big edges which correspond the a module *)
and big_step = {
    first: rule_app;
    small_step: (graph * rule_app) list;
}

(** {2 Types displaying} *)

val to_dot_graph : ?main_feat:string -> ?deco:deco -> graph -> string
val to_dep_graph : ?filter: string list -> ?main_feat:string -> ?deco:deco -> graph -> string
val to_gr_graph: graph -> string
val to_conll_graph: graph -> string