module type Ast = sig
.. end
Abstract syntax tree minimal signature.
Types of this signature are abstract.
See the Camlp4.Sig.Camlp4Ast
signature for a concrete definition.
type
loc
Syntactic categories as abstract types
type
meta_bool
type 'a
meta_option
type 'a
meta_list
type
ctyp
type
patt
type
expr
type
module_type
type
sig_item
type
with_constr
type
module_expr
type
str_item
type
class_type
type
class_sig_item
type
class_expr
type
class_str_item
type
match_case
type
ident
type
binding
type
rec_binding
type
module_binding
type
rec_flag
type
direction_flag
type
mutable_flag
type
private_flag
type
virtual_flag
type
row_var_flag
type
override_flag
val loc_of_ctyp : ctyp -> loc
Location accessors
val loc_of_patt : patt -> loc
val loc_of_expr : expr -> loc
val loc_of_module_type : module_type -> loc
val loc_of_module_expr : module_expr -> loc
val loc_of_sig_item : sig_item -> loc
val loc_of_str_item : str_item -> loc
val loc_of_class_type : class_type -> loc
val loc_of_class_sig_item : class_sig_item -> loc
val loc_of_class_expr : class_expr -> loc
val loc_of_class_str_item : class_str_item -> loc
val loc_of_with_constr : with_constr -> loc
val loc_of_binding : binding -> loc
val loc_of_rec_binding : rec_binding -> loc
val loc_of_module_binding : module_binding -> loc
val loc_of_match_case : match_case -> loc
val loc_of_ident : ident -> loc
Traversals
class map :
object
.. end
This class is the base class for map traversal on the Ast.
class fold :
object
.. end
Fold style traversal