From e6661bfa6a3d7dc477d0b7717c80bd536eca2d68 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 14 Mar 2026 11:39:04 -0300 Subject: =?UTF-8?q?Branching=20and=20na=C3=AFve=20merge=20strategies?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * AGPL license * branching and merging * Delete LICENSE in favor of separate PR Signed-off-by: Marcos Magueta * add unmonitored tests and docs --------- Signed-off-by: Marcos Magueta --- lib/manipulation.ml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'lib/manipulation.ml') diff --git a/lib/manipulation.ml b/lib/manipulation.ml index 2a43b6c..73607fa 100644 --- a/lib/manipulation.ml +++ b/lib/manipulation.ml @@ -44,6 +44,8 @@ let build_membership_criteria _schema : (Tuple.t -> bool) = (** Functor to create manipulation operations with a storage backend *) module Make (Storage : Management.Physical.S) = struct type storage = Storage.t + type nonrec error = error + let of_string_error s = StorageError s (* Constraint evaluation context *) -- cgit v1.2.3