From f21028b26e120c2bd6ba5df13ee780143488deef Mon Sep 17 00:00:00 2001 From: PJ Date: Mon, 1 Jun 2026 22:46:35 +0530 Subject: [PATCH] docs(ltl): add package doc to temporal logic evaluator --- internal/ltl/evaluator.go | 1 + 1 file changed, 1 insertion(+) diff --git a/internal/ltl/evaluator.go b/internal/ltl/evaluator.go index 79224c7..01589b0 100644 --- a/internal/ltl/evaluator.go +++ b/internal/ltl/evaluator.go @@ -1,3 +1,4 @@ +// Package ltl evaluates linear temporal logic formulas incrementally over observed steps. package ltl import (