From 209383a11bbf749dcc830fac8e0938bca0b58191 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Tue, 21 Jul 2026 01:35:52 -0300 Subject: Lifecycle Manager --- lib/backend/managers/Identity.mli | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 lib/backend/managers/Identity.mli (limited to 'lib/backend/managers/Identity.mli') diff --git a/lib/backend/managers/Identity.mli b/lib/backend/managers/Identity.mli new file mode 100644 index 0000000..589002e --- /dev/null +++ b/lib/backend/managers/Identity.mli @@ -0,0 +1,3 @@ +val permits : Object.registry -> Object.rnt_method -> bool +val can_open : Object.registry -> bool +val can_close : Object.registry -> bool -- cgit v1.2.3