GuaCaml 0.05 · OCaml Package

type !'r t = (string, ParaLex.token, 'r) OpalATree.t

val comment : string t

val exactly_symbol : string -> ParaLex.token t

val symbol : string t

val value : AtomicLexer.value t

val string : string t

val exactly_keyword : string -> ParaLex.token t

val keyword : string t

val ident : string t

val tuple_coma_bracket : 'r t -> 'r list t

val tuple_coma_wavy : ?empty:bool -> 'r t -> 'r list t

val tuple_wavy : ?empty:bool -> 'r t -> 'r list t

val tuple_coma : 'r t -> 'r list t

val storage_class_specifier : Lang_C_Types.storage_class_specifier t

val op_logic_infix : Lang_C_Types.op_logic_infix t

val op_arith_infix : Lang_C_Types.op_arith_infix t

val op_compare : Lang_C_Types.op_compare t

val op_infix : Lang_C_Types.op_infix t

val op_prefix_symbol : Lang_C_Types.op_prefix t

val op_prefix : Lang_C_Types.op_prefix t

val op_postfix : Lang_C_Types.op_postfix t

val identifier : string t

val constant : Lang_C_Types.constant t

val assignment_operator : Lang_C_Types.assignment_operator t

val struct_or_union : Lang_C_Types.struct_or_union t

val type_qualifier : Lang_C_Types.type_qualifier t

val type_leaf : Lang_C_Types.type_leaf t

val typedef_name : Lang_C_Types.typedef_name t

val declaration_specifier : Lang_C_Types.declaration_specifier t

val struct_declaration : Lang_C_Types.struct_declaration t

val struct_or_union_specifier : Lang_C_Types.struct_or_union_specifier t

val type_specifier : 
  (string, ParaLex.token, Lang_C_Types.type_specifier) OpalATree.t

val specifier_qualifier : 
  (string, ParaLex.token, Lang_C_Types.specifier_qualifier) OpalATree.t

val enum_specifier : 
  (string, ParaLex.token, Lang_C_Types.enum_specifier) OpalATree.t

val enumerator : Lang_C_Types.enumerator t

val struct_declarator : Lang_C_Types.struct_declarator t

val pointer_option : Lang_C_Types.pointer_option t

val pointer : Lang_C_Types.pointer_option t

val declarator : Lang_C_Types.declarator t

val direct_declarator_left : Lang_C_Types.direct_declarator_left t

val direct_declarator_right : Lang_C_Types.direct_declarator_right t

val direct_declarator : Lang_C_Types.direct_declarator t

val primary_expression : 
  (string, ParaLex.token, Lang_C_Types.primary_expression) OpalATree.t

val constant_expression_postfix : 
  (string, ParaLex.token, Lang_C_Types.expression_postfix) OpalATree.t

val atomic_expression : 
  (string, ParaLex.token, Lang_C_Types.atomic_expression) OpalATree.t

val constant_expression_rec : 
  Lang_C_Types.constant_expression list ->
  int ->
  Lang_C_Types.constant_expression t

val constant_expression : Lang_C_Types.constant_expression t

val assignment_expression : Lang_C_Types.assignment_expression t

val expression : Lang_C_Types.expression t

val type_name : (string, ParaLex.token, Lang_C_Types.type_name) OpalATree.t

val parameter_type_list : 
  (string, ParaLex.token, Lang_C_Types.parameter_type_list) OpalATree.t

val parameter_list : 
  (string, ParaLex.token, Lang_C_Types.parameter_list) OpalATree.t

val parameter_declaration_right : 
  (string, ParaLex.token, Lang_C_Types.parameter_declaration_right) OpalATree.t

val parameter_declaration : Lang_C_Types.parameter_declaration t

val abstract_declarator : 
  (string, ParaLex.token, Lang_C_Types.abstract_declarator) OpalATree.t

val direct_abstract_declarator_right : 
  (string, ParaLex.token, Lang_C_Types.direct_abstract_declarator_right)
    OpalATree.t

val direct_abstract_declarator : 
  (string, ParaLex.token, Lang_C_Types.direct_abstract_declarator) OpalATree.t

val declaration : 
  (string, ParaLex.token) Tree.atrees ->
  ((Lang_C_Types.declaration_specifier list
    * (Lang_C_Types.declarator
       * Lang_C_Types.assignment_expression Tree.tree option)
        list)
   * (string, ParaLex.token) Tree.atrees)
    option

val init_declarator : 
  (string,
    ParaLex.token,
    Lang_C_Types.declarator
    * Lang_C_Types.assignment_expression Tree.tree option)
    OpalATree.t

val t_initializer : 
  (string, ParaLex.token, Lang_C_Types.assignment_expression Tree.tree)
    OpalATree.t

val pragma : Lang_C_Types.pragma t

val expression_statement : 
  (string, ParaLex.token, Lang_C_Types.expression option) OpalATree.t

val jump_statement_left : 
  (string, ParaLex.token, Lang_C_Types.jump_statement) OpalATree.t

val jump_statement : 
  (string, ParaLex.token, Lang_C_Types.jump_statement) OpalATree.t

val statement : (string, ParaLex.token, Lang_C_Types.statement) OpalATree.t

val labeled_statement : 
  (string, ParaLex.token, Lang_C_Types.labeled_statement) OpalATree.t

val compound_statement : Lang_C_Types.compound_statement t

val selection_statement : 
  (string, ParaLex.token, Lang_C_Types.selection_statement) OpalATree.t

val for_statement : 
  (string, ParaLex.token, Lang_C_Types.for_statement) OpalATree.t

val iteration_statement : 
  (string, ParaLex.token, Lang_C_Types.iteration_statement) OpalATree.t

val ext_define : Lang_C_Types.ext_define t

val function_definition : 
  (string, ParaLex.token, Lang_C_Types.function_definition) OpalATree.t

val external_declaration : 
  (string, ParaLex.token, Lang_C_Types.external_declaration) OpalATree.t

val translation_unit : Lang_C_Types.translation_unit t

package GuaCaml