From 4fdf3392868c72ff4c33b70d165a177e97f2fece Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 27 Apr 2026 23:29:57 -0300 Subject: Format --- prl_api/sakura_prl_api.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'prl_api') diff --git a/prl_api/sakura_prl_api.ml b/prl_api/sakura_prl_api.ml index 92fd658..84337fb 100644 --- a/prl_api/sakura_prl_api.ml +++ b/prl_api/sakura_prl_api.ml @@ -15,12 +15,14 @@ let mutex = Mutex.create () let register symbol impl = Mutex.protect mutex (fun () -> Hashtbl.replace registry symbol impl) -let find symbol = Mutex.protect mutex (fun () -> Hashtbl.find_opt registry symbol) +let find symbol = + Mutex.protect mutex (fun () -> Hashtbl.find_opt registry symbol) let symbols () = Mutex.protect mutex (fun () -> Hashtbl.to_seq_keys registry |> List.of_seq) -let implementation_of_rows ?membership_criteria (rows : tuple list) : implementation = +let implementation_of_rows ?membership_criteria (rows : tuple list) : + implementation = { membership_criteria; produce = Some (fun _bindings -> Ok rows) } let implementation_of_producer ?membership_criteria -- cgit v1.2.3