module Block : sig ... endmodule If : sig ... endmodule Labeled : sig ... endmodule Break : sig ... endmodule Continue : sig ... endmodule With : sig ... endmodule TypeAlias : 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 Interface : sig ... endmodule DeclareVariable : sig ... endmodule DeclareFunction : sig ... endmodule DeclareModule : sig ... endmodule ExportNamedDeclaration : sig ... endmodule ExportDefaultDeclaration : sig ... endmodule DeclareExportDeclaration : sig ... endmodule ImportDeclaration : sig ... endmodule Expression : sig ... endand t' = | Empty| Block of Block.t| Expression of Expression.t| If of If.t| Labeled of Labeled.t| Break of Break.t| Continue of Continue.t| With of With.t| TypeAlias of TypeAlias.t| Switch of Switch.t| Return of Return.t| Throw of Throw.t| Try of Try.t| While of While.t| DoWhile of DoWhile.t| For of For.t| ForIn of ForIn.t| ForOf of ForOf.t| Debugger| FunctionDeclaration of Function.t| VariableDeclaration of VariableDeclaration.t| ClassDeclaration of Class.t| InterfaceDeclaration of Interface.t| DeclareVariable of DeclareVariable.t| DeclareFunction of DeclareFunction.t| DeclareClass of Interface.t| DeclareModule of DeclareModule.t| DeclareModuleExports of Type.annotation| DeclareExportDeclaration of DeclareExportDeclaration.t| ExportNamedDeclaration of ExportNamedDeclaration.t| ExportDefaultDeclaration of ExportDefaultDeclaration.t| ImportDeclaration of ImportDeclaration.t