module Block : sig ... endmodule If : sig ... endmodule Labeled : sig ... endmodule Break : sig ... endmodule Continue : sig ... endmodule Debugger : sig ... endmodule With : sig ... endmodule TypeAlias : sig ... endmodule OpaqueType : sig ... endmodule Switch : sig ... endmodule Return : sig ... endmodule Throw : sig ... endmodule Try : sig ... endmodule VariableDeclaration : sig ... endmodule While : sig ... endmodule DoWhile : sig ... endmodule For : sig ... endmodule ForIn : sig ... endmodule ForOf : sig ... endmodule EnumDeclaration : sig ... endmodule Interface : sig ... endmodule DeclareClass : sig ... endmodule DeclareVariable : sig ... endmodule DeclareFunction : sig ... endmodule DeclareModule : sig ... endmodule DeclareModuleExports : sig ... endmodule ExportNamedDeclaration : sig ... endmodule ExportDefaultDeclaration : sig ... endmodule DeclareExportDeclaration : sig ... endmodule ImportDeclaration : sig ... endmodule Expression : sig ... endmodule Empty : sig ... endand ('M, 'T) t = 'M * ('M, 'T) t'and ('M, 'T) t' = | Block of ('M, 'T) Block.t| Break of 'M Break.t| ClassDeclaration of ('M, 'T) Class.t| Continue of 'M Continue.t| Debugger of 'M Debugger.t| DeclareClass of ('M, 'T) DeclareClass.t| DeclareExportDeclaration of ('M, 'T) DeclareExportDeclaration.t| DeclareFunction of ('M, 'T) DeclareFunction.t| DeclareInterface of ('M, 'T) Interface.t| DeclareModule of ('M, 'T) DeclareModule.t| DeclareModuleExports of ('M, 'T) DeclareModuleExports.t| DeclareTypeAlias of ('M, 'T) TypeAlias.t| DeclareOpaqueType of ('M, 'T) OpaqueType.t| DeclareVariable of ('M, 'T) DeclareVariable.t| DoWhile of ('M, 'T) DoWhile.t| Empty of 'M Empty.t| EnumDeclaration of ('M, 'T) EnumDeclaration.t| ExportDefaultDeclaration of ('M, 'T) ExportDefaultDeclaration.t| ExportNamedDeclaration of ('M, 'T) ExportNamedDeclaration.t| Expression of ('M, 'T) Expression.t| For of ('M, 'T) For.t| ForIn of ('M, 'T) ForIn.t| ForOf of ('M, 'T) ForOf.t| FunctionDeclaration of ('M, 'T) Function.t| If of ('M, 'T) If.t| ImportDeclaration of ('M, 'T) ImportDeclaration.t| InterfaceDeclaration of ('M, 'T) Interface.t| Labeled of ('M, 'T) Labeled.t| Return of ('M, 'T) Return.t| Switch of ('M, 'T) Switch.t| Throw of ('M, 'T) Throw.t| Try of ('M, 'T) Try.t| TypeAlias of ('M, 'T) TypeAlias.t| OpaqueType of ('M, 'T) OpaqueType.t| VariableDeclaration of ('M, 'T) VariableDeclaration.t| While of ('M, 'T) While.t| With of ('M, 'T) With.t