(** {1 External Syntax Definition} *)

include Synext_definition

(** {1 Common} *)

include Syncom

(** {1 Locations} *)

include Synext_location

(** {1 Precedences} *)

include Synext_precedence

(** {1 Explicit Arguments} *)

include Synext_arguments

(** {1 Pretty-Printing} *)

include Synext_pp_state
include Synext_pp
