open Syntax

val transform_partial_grammar: partial_grammar -> partial_grammar