Module Imandra_codegen.Serde_yojson

val mk_plugin : unit -> Imandra_surface.Event_def_plugin.t