prelude: :gerbil/compiler/ssxi
package: std/protobuf

(begin
  (declare-type std/protobuf/proto-grammar#parse-protobuf__% (@lambda 3 #f))
  (declare-type std/protobuf/proto-grammar#parse-protobuf__0 (@lambda 1 #f))
  (declare-type std/protobuf/proto-grammar#parse-protobuf__1 (@lambda 2 #f))
  (declare-type
   std/protobuf/proto-grammar#parse-protobuf
   (@case-lambda
    (1 std/protobuf/proto-grammar#parse-protobuf__0)
    (2 std/protobuf/proto-grammar#parse-protobuf__1)
    (3 std/protobuf/proto-grammar#parse-protobuf__%)))
  (declare-type
   std/protobuf/proto-grammar#Protobuf::app::cat::1::maybe
   (@lambda 5 std/protobuf/proto-grammar#Syntax))
  (declare-type
   std/protobuf/proto-grammar#Protobuf::app::cat::1
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Protobuf::app::cat::2::rep*
   (@lambda 5 std/protobuf/proto-grammar#TopStatement))
  (declare-type
   std/protobuf/proto-grammar#Protobuf::app::cat::2
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Protobuf::app::cat::3
   (@lambda 5 std/protobuf/proto-grammar#EOF))
  (declare-type std/protobuf/proto-grammar#Protobuf::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Protobuf (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Syntax::app::cat::1 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Syntax::app::cat::2 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Syntax::app::cat::3
   (@lambda 5 std/protobuf/proto-grammar#String))
  (declare-type std/protobuf/proto-grammar#Syntax::app::cat::4 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Syntax::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Syntax (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#TopStatement::1::app
   (@lambda 5 std/protobuf/proto-grammar#Import))
  (declare-type std/protobuf/proto-grammar#TopStatement::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#TopStatement::2::app
   (@lambda 5 std/protobuf/proto-grammar#Package))
  (declare-type std/protobuf/proto-grammar#TopStatement::2 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#TopStatement::3::app
   (@lambda 5 std/protobuf/proto-grammar#Option))
  (declare-type std/protobuf/proto-grammar#TopStatement::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#TopStatement::4::app
   (@lambda 5 std/protobuf/proto-grammar#TopDefinition))
  (declare-type std/protobuf/proto-grammar#TopStatement::4 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#TopStatement (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Import::app::cat::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Import::app::cat::2::maybe
   (@lambda 5 std/protobuf/proto-grammar#ImportOption))
  (declare-type std/protobuf/proto-grammar#Import::app::cat::2 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Import::app::cat::3
   (@lambda 5 std/protobuf/proto-grammar#String))
  (declare-type std/protobuf/proto-grammar#Import::app::cat::4 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Import::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Import (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#ImportOption::1::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#ImportOption::1 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#ImportOption::2::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#ImportOption::2 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#ImportOption (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Package::app::cat::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Package::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Package::app::cat::3 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Package::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Package (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Option::app::cat::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Option::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#OptionName))
  (declare-type std/protobuf/proto-grammar#Option::app::cat::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Option::app::cat::4
   (@lambda 5 std/protobuf/proto-grammar#Constant))
  (declare-type std/protobuf/proto-grammar#Option::app::cat::5 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Option::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Option (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#OptionName::1::app
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#OptionName::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#OptionName::2::app::cat::1
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#OptionName::2::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type
   std/protobuf/proto-grammar#OptionName::2::app::cat::3
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#OptionName::2::app::cat::4::maybe
   (@lambda 5 std/protobuf/proto-grammar#OptionNameTail))
  (declare-type
   std/protobuf/proto-grammar#OptionName::2::app::cat::4
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#OptionName::2::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#OptionName::2 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#OptionName (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#OptionNameTail::app::cat::1
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#OptionNameTail::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#OptionNameTail::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#OptionNameTail (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#TopDefinition::1::app
   (@lambda 5 std/protobuf/proto-grammar#Message))
  (declare-type std/protobuf/proto-grammar#TopDefinition::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#TopDefinition::2::app
   (@lambda 5 std/protobuf/proto-grammar#Enum))
  (declare-type std/protobuf/proto-grammar#TopDefinition::2 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#TopDefinition::3::app
   (@lambda 5 std/protobuf/proto-grammar#Extend))
  (declare-type std/protobuf/proto-grammar#TopDefinition::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#TopDefinition::4::app
   (@lambda 5 std/protobuf/proto-grammar#Service))
  (declare-type std/protobuf/proto-grammar#TopDefinition::4 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#TopDefinition (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Message::app::cat::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Message::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Message::app::cat::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Message::app::cat::4::rep*
   (@lambda 5 std/protobuf/proto-grammar#MessageBody))
  (declare-type std/protobuf/proto-grammar#Message::app::cat::4 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Message::app::cat::5 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Message::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Message (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageBody::1::app
   (@lambda 5 std/protobuf/proto-grammar#MessageField))
  (declare-type std/protobuf/proto-grammar#MessageBody::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageBody::2::app
   (@lambda 5 std/protobuf/proto-grammar#OneOf))
  (declare-type std/protobuf/proto-grammar#MessageBody::2 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageBody::3::app
   (@lambda 5 std/protobuf/proto-grammar#Map))
  (declare-type std/protobuf/proto-grammar#MessageBody::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageBody::4::app
   (@lambda 5 std/protobuf/proto-grammar#Enum))
  (declare-type std/protobuf/proto-grammar#MessageBody::4 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageBody::5::app
   (@lambda 5 std/protobuf/proto-grammar#Option))
  (declare-type std/protobuf/proto-grammar#MessageBody::5 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageBody::6::app
   (@lambda 5 std/protobuf/proto-grammar#Message))
  (declare-type std/protobuf/proto-grammar#MessageBody::6 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageBody::7::app
   (@lambda 5 std/protobuf/proto-grammar#Extensions))
  (declare-type std/protobuf/proto-grammar#MessageBody::7 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageBody::8::app
   (@lambda 5 std/protobuf/proto-grammar#Reserved))
  (declare-type std/protobuf/proto-grammar#MessageBody::8 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#MessageBody (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageField::app::cat::1::maybe
   (@lambda 5 std/protobuf/proto-grammar#MessageFieldLabel))
  (declare-type
   std/protobuf/proto-grammar#MessageField::app::cat::1
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageField::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type
   std/protobuf/proto-grammar#MessageField::app::cat::3
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type
   std/protobuf/proto-grammar#MessageField::app::cat::4
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageField::app::cat::5
   (@lambda 5 std/protobuf/proto-grammar#Int))
  (declare-type
   std/protobuf/proto-grammar#MessageField::app::cat::6::maybe
   (@lambda 5 std/protobuf/proto-grammar#FieldOptions))
  (declare-type
   std/protobuf/proto-grammar#MessageField::app::cat::6
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageField::app::cat::7
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#MessageField::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#MessageField (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageFieldLabel::1::app
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#MessageFieldLabel::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageFieldLabel::2::app
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#MessageFieldLabel::2 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MessageFieldLabel::3::app
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#MessageFieldLabel::3 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#MessageFieldLabel (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#FieldOptions::app::cat::1
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#FieldOptions::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#FieldOptionSet))
  (declare-type
   std/protobuf/proto-grammar#FieldOptions::app::cat::3::maybe
   (@lambda 5 std/protobuf/proto-grammar#FieldOptionRest))
  (declare-type
   std/protobuf/proto-grammar#FieldOptions::app::cat::3
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#FieldOptions::app::cat::4
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#FieldOptions::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#FieldOptions (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#FieldOptionSet::app::cat::1
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type
   std/protobuf/proto-grammar#FieldOptionSet::app::cat::2
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#FieldOptionSet::app::cat::3
   (@lambda 5 std/protobuf/proto-grammar#Constant))
  (declare-type std/protobuf/proto-grammar#FieldOptionSet::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#FieldOptionSet (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#FieldOptionRest::app::cat::1
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#FieldOptionRest::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#FieldOptionSet))
  (declare-type
   std/protobuf/proto-grammar#FieldOptionRest::app::cat::3::maybe
   (@lambda 5 std/protobuf/proto-grammar#FieldOptionRest))
  (declare-type
   std/protobuf/proto-grammar#FieldOptionRest::app::cat::3
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#FieldOptionRest::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#FieldOptionRest (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#OneOf::app::cat::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#OneOf::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#OneOf::app::cat::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#OneOf::app::cat::4::rep*
   (@lambda 5 std/protobuf/proto-grammar#OneOfField))
  (declare-type std/protobuf/proto-grammar#OneOf::app::cat::4 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#OneOf::app::cat::5 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#OneOf::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#OneOf (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#OneOfField::app::cat::1
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type
   std/protobuf/proto-grammar#OneOfField::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type
   std/protobuf/proto-grammar#OneOfField::app::cat::3
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#OneOfField::app::cat::4
   (@lambda 5 std/protobuf/proto-grammar#Constant))
  (declare-type
   std/protobuf/proto-grammar#OneOfField::app::cat::5
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#OneOfField::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#OneOfField (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Map::app::cat::1 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Map::app::cat::2 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Map::app::cat::3
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Map::app::cat::4 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Map::app::cat::5
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Map::app::cat::6 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Map::app::cat::7
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Map::app::cat::8 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Map::app::cat::9
   (@lambda 5 std/protobuf/proto-grammar#Int))
  (declare-type
   std/protobuf/proto-grammar#Map::app::cat::10::maybe
   (@lambda 5 std/protobuf/proto-grammar#FieldOptions))
  (declare-type std/protobuf/proto-grammar#Map::app::cat::10 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Map::app::cat::11 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Map::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Map (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Extensions::app::cat::1
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Extensions::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ranges))
  (declare-type
   std/protobuf/proto-grammar#Extensions::app::cat::3
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Extensions::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Extensions (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Ranges::app::cat::1
   (@lambda 5 std/protobuf/proto-grammar#Range))
  (declare-type
   std/protobuf/proto-grammar#Ranges::app::cat::2::rep*
   (@lambda 5 std/protobuf/proto-grammar#MoreRanges))
  (declare-type std/protobuf/proto-grammar#Ranges::app::cat::2 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Ranges::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Ranges (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MoreRanges::app::cat::1
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MoreRanges::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Range))
  (declare-type std/protobuf/proto-grammar#MoreRanges::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#MoreRanges (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Range::1::app::cat::1
   (@lambda 5 std/protobuf/proto-grammar#Int))
  (declare-type
   std/protobuf/proto-grammar#Range::1::app::cat::2
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Range::1::app::cat::3
   (@lambda 5 std/protobuf/proto-grammar#RangeLimit))
  (declare-type std/protobuf/proto-grammar#Range::1::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Range::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Range::2::app
   (@lambda 5 std/protobuf/proto-grammar#Int))
  (declare-type std/protobuf/proto-grammar#Range::2 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Range (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#RangeLimit::1::app
   (@lambda 5 std/protobuf/proto-grammar#Int))
  (declare-type std/protobuf/proto-grammar#RangeLimit::1 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#RangeLimit::2::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#RangeLimit::2 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#RangeLimit (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Reserved::app::cat::1
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Reserved::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#ReservedBody))
  (declare-type
   std/protobuf/proto-grammar#Reserved::app::cat::3
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Reserved::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Reserved (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#ReservedBody::1::app
   (@lambda 5 std/protobuf/proto-grammar#Ranges))
  (declare-type std/protobuf/proto-grammar#ReservedBody::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#ReservedBody::2::app
   (@lambda 5 std/protobuf/proto-grammar#FieldNames))
  (declare-type std/protobuf/proto-grammar#ReservedBody::2 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#ReservedBody (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#FieldNames::app::cat::1
   (@lambda 5 std/protobuf/proto-grammar#String))
  (declare-type
   std/protobuf/proto-grammar#FieldNames::app::cat::2::rep*
   (@lambda 5 std/protobuf/proto-grammar#MoreFieldNames))
  (declare-type
   std/protobuf/proto-grammar#FieldNames::app::cat::2
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#FieldNames::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#FieldNames (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MoreFieldNames::app::cat::1
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#MoreFieldNames::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#String))
  (declare-type std/protobuf/proto-grammar#MoreFieldNames::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#MoreFieldNames (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Enum::app::cat::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Enum::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Enum::app::cat::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Enum::app::cat::4::rep*
   (@lambda 5 std/protobuf/proto-grammar#EnumBody))
  (declare-type std/protobuf/proto-grammar#Enum::app::cat::4 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Enum::app::cat::5 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Enum::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Enum (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#EnumBody::1::app
   (@lambda 5 std/protobuf/proto-grammar#Option))
  (declare-type std/protobuf/proto-grammar#EnumBody::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#EnumBody::2::app
   (@lambda 5 std/protobuf/proto-grammar#EnumField))
  (declare-type std/protobuf/proto-grammar#EnumBody::2 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#EnumBody (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#EnumField::app::cat::1
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type
   std/protobuf/proto-grammar#EnumField::app::cat::2
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#EnumField::app::cat::3
   (@lambda 5 std/protobuf/proto-grammar#Int))
  (declare-type
   std/protobuf/proto-grammar#EnumField::app::cat::4::maybe
   (@lambda 5 std/protobuf/proto-grammar#FieldOptions))
  (declare-type
   std/protobuf/proto-grammar#EnumField::app::cat::4
   (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#EnumField::app::cat::5
   (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#EnumField::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#EnumField (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Extend::app::cat::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Extend::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Extend::app::cat::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Extend::app::cat::4::rep*
   (@lambda 5 std/protobuf/proto-grammar#ExtendBody))
  (declare-type std/protobuf/proto-grammar#Extend::app::cat::4 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Extend::app::cat::5 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Extend::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Extend (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#ExtendBody::app
   (@lambda 5 std/protobuf/proto-grammar#MessageField))
  (declare-type std/protobuf/proto-grammar#ExtendBody (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Service::app::cat::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Service::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Service::app::cat::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Service::app::cat::4::rep*
   (@lambda 5 std/protobuf/proto-grammar#ServiceBody))
  (declare-type std/protobuf/proto-grammar#Service::app::cat::4 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Service::app::cat::5 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Service::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Service (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#ServiceBody::1::app
   (@lambda 5 std/protobuf/proto-grammar#Option))
  (declare-type std/protobuf/proto-grammar#ServiceBody::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#ServiceBody::2::app
   (@lambda 5 std/protobuf/proto-grammar#Rpc))
  (declare-type std/protobuf/proto-grammar#ServiceBody::2 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#ServiceBody::3::app
   (@lambda 5 std/protobuf/proto-grammar#Stream))
  (declare-type std/protobuf/proto-grammar#ServiceBody::3 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#ServiceBody (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Rpc::app::cat::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Rpc::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Rpc::app::cat::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Rpc::app::cat::4::maybe
   (@lambda 5 std/protobuf/proto-grammar#StreamLit))
  (declare-type std/protobuf/proto-grammar#Rpc::app::cat::4 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Rpc::app::cat::5
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Rpc::app::cat::6 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Rpc::app::cat::7 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Rpc::app::cat::8 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Rpc::app::cat::9::maybe
   (@lambda 5 std/protobuf/proto-grammar#StreamLit))
  (declare-type std/protobuf/proto-grammar#Rpc::app::cat::9 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Rpc::app::cat::10
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Rpc::app::cat::11 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Rpc::app::cat::12 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Rpc::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Rpc (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#StreamLit::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#StreamLit (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Stream::app::cat::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Stream::app::cat::2
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Stream::app::cat::3 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Stream::app::cat::4
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Stream::app::cat::5 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Stream::app::cat::6
   (@lambda 5 std/protobuf/proto-grammar#Ident))
  (declare-type std/protobuf/proto-grammar#Stream::app::cat::7 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Stream::app::cat::8 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Stream::app (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Stream (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Constant::1::app
   (@lambda 5 std/protobuf/proto-grammar#String))
  (declare-type std/protobuf/proto-grammar#Constant::1 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Constant::2::app
   (@lambda 5 std/protobuf/proto-grammar#Int))
  (declare-type std/protobuf/proto-grammar#Constant::2 (@lambda 5 #f))
  (declare-type
   std/protobuf/proto-grammar#Constant::3::app
   (@lambda 5 std/protobuf/proto-grammar#Boolean))
  (declare-type std/protobuf/proto-grammar#Constant::3 (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Constant (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Ident (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#String (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Int (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#Boolean (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#EOF (@lambda 5 #f))
  (declare-type std/protobuf/proto-grammar#lex-protobuf (@lambda 1 #f)))
