From b2b1d9a3a8cbf2f5d0089e29931cacf36297065a Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 6 Mar 2026 20:27:49 -0300 Subject: wip: physical --- lib/prelude/standard.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'lib/prelude/standard.ml') diff --git a/lib/prelude/standard.ml b/lib/prelude/standard.ml index d6f8cf3..5099104 100644 --- a/lib/prelude/standard.ml +++ b/lib/prelude/standard.ml @@ -11,12 +11,8 @@ let less_than_natural: Relation.t = match position with | Some position -> let left, right = pair_of_nat position in - (* let left: Attribute.t = Attribute.make_materialized ~value: (Obj.magic left) in *) - (* let right: Attribute.t = Attribute.make_materialized ~value: (Obj.magic right) in *) - let left = Obj.magic left in - let right = Obj.magic right in let attributes: Attribute.materialized Tuple.AttributeMap.t = - Tuple.AttributeMap.of_list [("left", left); ("right", right)] + Tuple.AttributeMap.of_list [("left", Obj.magic left); ("right", Obj.magic right)] in Generator.Value (Tuple.make_materialized ~relation: "less_than" ~attributes: attributes, generator) | None -> Error "Cannot produce a randomly enumerated value for less_than over naturals." in let membership_criteria: Tuple.t -> bool = function -- cgit v1.2.3