(** Self-contained syntactic elements common to one or more of Beluga's
    syntaxes. *)

(** {1 Operators} *)

module Associativity = Associativity
module Fixity = Fixity
module Operator = Operator

(** {1 Annotations} *)

module Depend = Depend
module Inductivity = Inductivity
module Plicity = Plicity

(** {1 Pretty-Printing} *)

module Parenthesizer = Parenthesizer

(** {1 Identifiers} *)

module Identifier = Identifier
module Qualified_identifier = Qualified_identifier
module Binding_tree = Binding_tree
module Id = Id
module HoleId = HoleId

(** {1 Legacy Names} *)

module Name = Name
module Gensym = Gensym

(** {1 Utilities} *)

module Error = Error
module Position = Position
module Location = Location
