sig val bottom_up_parse : Grammar.grammar -> int array -> Chart.chart end