Module Imandra_codegen.Serde_yojson

val mk_plugin : unit -> Imandra_surface.Plugin.t