module CallTypeArg : sig ... endmodule CallTypeArgs : sig ... endmodule SpreadElement : sig ... endmodule Array : sig ... endmodule TemplateLiteral : sig ... endmodule TaggedTemplate : sig ... endmodule Object : sig ... endmodule Sequence : sig ... endmodule Unary : sig ... endmodule Binary : sig ... endmodule Assignment : sig ... endmodule Update : sig ... endmodule Logical : sig ... endmodule Conditional : sig ... endtype ('M, 'T) expression_or_spread = | Expression of ('M, 'T) Expression.t| Spread of ('M, 'T) SpreadElement.tmodule ArgList : sig ... endmodule New : sig ... endmodule Call : sig ... endmodule OptionalCall : sig ... endmodule Member : sig ... endmodule OptionalMember : sig ... endmodule Yield : sig ... endmodule TypeCast : sig ... endmodule AsExpression : sig ... endmodule TSTypeCast : sig ... endmodule MetaProperty : sig ... endmodule This : sig ... endmodule Super : sig ... endmodule Import : sig ... endtype ('M, 'T) t = 'T * ('M, 'T) t'and ('M, 'T) t' = | Array of ('M, 'T) Array.t| ArrowFunction of ('M, 'T) Function.t| AsExpression of ('M, 'T) AsExpression.t| Assignment of ('M, 'T) Assignment.t| Binary of ('M, 'T) Binary.t| Call of ('M, 'T) Call.t| Class of ('M, 'T) Class.t| Conditional of ('M, 'T) Conditional.t| Function of ('M, 'T) Function.t| Identifier of ('M, 'T) Identifier.t| Import of ('M, 'T) Import.t| JSXElement of ('M, 'T) JSX.element| JSXFragment of ('M, 'T) JSX.fragment| StringLiteral of 'M StringLiteral.t| BooleanLiteral of 'M BooleanLiteral.t| NullLiteral of ('M, unit) Syntax.t option| NumberLiteral of 'M NumberLiteral.t| BigIntLiteral of 'M BigIntLiteral.t| RegExpLiteral of 'M RegExpLiteral.t| ModuleRefLiteral of ('M, 'T) ModuleRefLiteral.t| Logical of ('M, 'T) Logical.t| Member of ('M, 'T) Member.t| MetaProperty of 'M MetaProperty.t| New of ('M, 'T) New.t| Object of ('M, 'T) Object.t| OptionalCall of ('M, 'T) OptionalCall.t| OptionalMember of ('M, 'T) OptionalMember.t| Sequence of ('M, 'T) Sequence.t| Super of 'M Super.t| TaggedTemplate of ('M, 'T) TaggedTemplate.t| TemplateLiteral of ('M, 'T) TemplateLiteral.t| This of 'M This.t| TypeCast of ('M, 'T) TypeCast.t| TSTypeCast of ('M, 'T) TSTypeCast.t| Unary of ('M, 'T) Unary.t| Update of ('M, 'T) Update.t| Yield of ('M, 'T) Yield.t