From 1eeaf137bd30aff1bef34d05eeec686f6da8959d Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sun, 23 May 2021 22:09:50 +0200 Subject: Update editor --- editor/actions/event.ml | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100755 editor/actions/event.ml (limited to 'editor/actions/event.ml') diff --git a/editor/actions/event.ml b/editor/actions/event.ml new file mode 100755 index 0000000..5e30587 --- /dev/null +++ b/editor/actions/event.ml @@ -0,0 +1,8 @@ +module type Handler = sig + type t + + val apply: t -> State.t -> State.t + +end + +type t = E : 'a * (module Handler with type t = 'a) -> t -- cgit v1.2.3