Comment

Author: ivanperez-keera

src/Copilot/Visualize.hs

@@ -1,5 +1,12 @@
 {-# LANGUAGE DeriveGeneric #-}
 -- | Graphical visualization of Copilot specifications.
+--
+-- This module contains an abstract representation of a trace as a series
+-- named streams with their values, together with functions needed to
+-- convert a 'Spec' into a trace.
+--
+-- The helper function 'makeTrace' expands a latex file that produces the
+-- trace visualization as a figure.
 module Copilot.Visualize
     ( AppData(..)
     , TraceElem(..)