Add doc header

informalsystems · Apr 24, 2024 · 24114db · 24114db
1 parent c7beef5
commit 24114db
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/quint/src/runtime/impl/trace.ts b/quint/src/runtime/impl/trace.ts
@@ -1,3 +1,17 @@
+/* ----------------------------------------------------------------------------------
+ * Copyright 2024 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
+ * --------------------------------------------------------------------------------- */
+
+/**
+ * Trace of states representing a single execution path
+ *
+ * @author Gabriela Moreira
+ *
+ * @module
+ */
+
 import { List } from 'immutable'
 import { RuntimeValue } from './runtimeValue'