type t type node = [ `Grammar ] Node.t val load : string -> bool -> t