From cce3bfba31b32c13ea116a214306d96fe1eb27eb Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 8 Mar 2026 20:48:14 -0300 Subject: format todos and comment improvement --- lib/manipulation.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'lib/manipulation.ml') diff --git a/lib/manipulation.ml b/lib/manipulation.ml index 5f7cfb9..2a43b6c 100644 --- a/lib/manipulation.ml +++ b/lib/manipulation.ml @@ -45,9 +45,7 @@ let build_membership_criteria _schema : (Tuple.t -> bool) = module Make (Storage : Management.Physical.S) = struct type storage = Storage.t - (* ============================================================================ - Constraint evaluation context - ============================================================================ *) + (* Constraint evaluation context *) (** Build an eval_context closed over a specific (storage, db) snapshot. All relation lookups resolve against this exact database version. *) -- cgit v1.2.3