Beluga_syntax (beluga.Beluga

module Syncom = Syncom

module Synext = Synext

module Synapx = Synapx

module Synint = Synint

module Ext = Synext

module Apx = Synapx

module Int = Synint

include module type of struct include Syncom end

Operators

module Associativity = Syncom.Associativity

module Fixity = Syncom.Fixity

module Operator = Syncom.Operator

module Depend = Syncom.Depend

module Inductivity = Syncom.Inductivity

module Plicity = Syncom.Plicity

module Parenthesizer = Syncom.Parenthesizer

module Identifier = Syncom.Identifier

module Qualified_identifier = Syncom.Qualified_identifier

module Binding_tree = Syncom.Binding_tree

module Id = Syncom.Id

module HoleId = Syncom.HoleId

module Name = Syncom.Name

module Gensym = Syncom.Gensym

module Error = Syncom.Error

module Position = Syncom.Position

module Location = Syncom.Location