diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-08 20:48:14 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-08 20:48:14 -0300 |
| commit | cce3bfba31b32c13ea116a214306d96fe1eb27eb (patch) | |
| tree | a572e969d7c53686e047764b7fba3e52d3589215 /lib/manipulation.ml | |
| parent | 88dc315e454a695426becf928aef46668f9db0dc (diff) | |
| download | Sakura-cce3bfba31b32c13ea116a214306d96fe1eb27eb.tar.gz Sakura-cce3bfba31b32c13ea116a214306d96fe1eb27eb.zip | |
format todos and comment improvement
Diffstat (limited to '')
| -rw-r--r-- | lib/manipulation.ml | 4 |
1 files changed, 1 insertions, 3 deletions
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. *) |