License header and newline at EOF
+-- Copyright (c) 2020, The Pallene Developers
+-- Pallene is licensed under the MIT license.
+-- Please refer to the LICENSE and AUTHORS files for details
+-- SPDX-License-Identifier: MIT
+
local util = require "pallene.util"
local typedecl = require "pallene.typedecl"
local types = require "pallene.types"
