Bonsai_test.Result_specmodule type S = sig ... endmodule No_incoming : sig ... endinclude No_incoming is a quick way to define a Result_spec with no incoming events:
module type Sexpable = sig ... endmodule type Stringable = sig ... endval sexp : (module Sexpable with type t = 'a) -> ('a, Core.Nothing.t) tval string : (module Stringable with type t = 'a) -> ('a, Core.Nothing.t) tval invisible : ('a, Core.Nothing.t) t