From 741f88ab405995003eb6e9f301d3b065c1e84a4a Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 28 Jan 2022 14:44:57 +0100 Subject: Added a motus solver --- lib/application/application.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/application') diff --git a/lib/application/application.ml b/lib/application/application.ml index b6ece93..8787d39 100755 --- a/lib/application/application.ml +++ b/lib/application/application.ml @@ -18,6 +18,7 @@ struct in Note.S.accum ?eq init action + let dispatch : (module Procesor with type t = 's) -> 's -> event = fun (type s) (module P : Procesor with type t = s) v -> E (v, (module P)) end -- cgit v1.2.3