From fe2cced55e1b44dbae57e55fe0f459c85e7369cb Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 16:21:26 +0100 Subject: Application unification --- editor/actions/event.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'editor/actions/event.ml') diff --git a/editor/actions/event.ml b/editor/actions/event.ml index 5e30587..21e3d3a 100755 --- a/editor/actions/event.ml +++ b/editor/actions/event.ml @@ -1,4 +1,5 @@ module type Handler = sig + type t val apply: t -> State.t -> State.t -- cgit v1.2.3