diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-20 21:55:07 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-04-20 21:55:07 -0300 |
| commit | fdc63e730f91a4605ed4ff96a908e1f5e822d1bb (patch) | |
| tree | 36b0a66b81fc201a426171e190975289640cd579 /lib/prelude/standard.ml | |
| parent | d3708bb28adcd0220142f1890ab96bfd2df637d3 (diff) | |
| download | Sakura-fdc63e730f91a4605ed4ff96a908e1f5e822d1bb.tar.gz Sakura-fdc63e730f91a4605ed4ff96a908e1f5e822d1bb.zip | |
New Server & Manipulation refactor
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
Diffstat (limited to 'lib/prelude/standard.ml')
| -rw-r--r-- | lib/prelude/standard.ml | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/lib/prelude/standard.ml b/lib/prelude/standard.ml index 6bdab0c..6822f19 100644 --- a/lib/prelude/standard.ml +++ b/lib/prelude/standard.ml @@ -15,7 +15,8 @@ let make_comparison ~name ~domain_name ~pred ~cardinality ~generator = |> Schema.add "left" domain_name |> Schema.add "right" domain_name in - let membership_criteria : Tuple.t -> bool = function + let membership_criteria : (string -> Merkle.t option) -> Tuple.t -> bool = + fun _tree_of -> function | Tuple.Materialized m -> ( match ( Tuple.AttributeMap.find_opt "left" m.attributes, @@ -176,7 +177,8 @@ let plus_natural : Relation.t = (Tuple.make_materialized ~relation:"plus" ~attributes, generator) | None -> Error "Cannot enumerate plus randomly." in - let membership_criteria : Tuple.t -> bool = function + let membership_criteria : (string -> Merkle.t option) -> Tuple.t -> bool = + fun _tree_of -> function | Tuple.Materialized m -> ( match ( Tuple.AttributeMap.find_opt "a" m.attributes, @@ -214,7 +216,8 @@ let times_natural : Relation.t = (Tuple.make_materialized ~relation:"times" ~attributes, generator) | None -> Error "Cannot enumerate times randomly." in - let membership_criteria : Tuple.t -> bool = function + let membership_criteria : (string -> Merkle.t option) -> Tuple.t -> bool = + fun _tree_of -> function | Tuple.Materialized m -> ( match ( Tuple.AttributeMap.find_opt "a" m.attributes, @@ -253,7 +256,8 @@ let minus_natural : Relation.t = (Tuple.make_materialized ~relation:"minus" ~attributes, generator) | None -> Error "Cannot enumerate minus randomly." in - let membership_criteria : Tuple.t -> bool = function + let membership_criteria : (string -> Merkle.t option) -> Tuple.t -> bool = + fun _tree_of -> function | Tuple.Materialized m -> ( match ( Tuple.AttributeMap.find_opt "a" m.attributes, @@ -301,7 +305,8 @@ let divide_natural : Relation.t = (Tuple.make_materialized ~relation:"divide" ~attributes, generator) | None -> Error "Cannot enumerate divide randomly." in - let membership_criteria : Tuple.t -> bool = function + let membership_criteria : (string -> Merkle.t option) -> Tuple.t -> bool = + fun _tree_of -> function | Tuple.Materialized m -> ( match ( Tuple.AttributeMap.find_opt "a" m.attributes, |