(* This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at https://mozilla.org/MPL/2.0/. *) (* Source code representation. *) module type ElnaSourceSpan* = record start_offset: Word; end_offset: Word end end.