sig   module Step :     sig       type t       val create : unit -> Note.Step.t       val execute : Note.Step.t -> unit     end   module Logr :     sig       type 'a obs       val const : '-> 'Note.Logr.obs       val app :         ('-> 'b) Note.Logr.obs -> 'Note.Logr.obs -> 'Note.Logr.obs       val ( $ ) :         ('-> 'b) Note.Logr.obs -> 'Note.Logr.obs -> 'Note.Logr.obs       type t       val create : ?now:bool -> unit Note.Logr.obs -> Note.Logr.t       val force : Note.Logr.t -> unit       val destroy : Note.Logr.t -> unit       val hold : Note.Logr.t -> unit       val may_hold : Note.Logr.t option -> unit       val unhold_all : unit -> unit     end   type 'a signal   type 'a event   module E :     sig       type 'a t = 'Note.event       val obs : 'Note.E.t -> 'a option Note.Logr.obs       val log :         ?now:bool -> 'Note.event -> ('-> unit) -> Note.Logr.t option       val create : unit -> 'Note.event * (?step:Note.Step.t -> '-> unit)       val value : 'Note.event -> 'a option       val never : 'Note.event       val bind : 'Note.event -> ('-> 'Note.event) -> 'Note.event       val join : 'Note.event Note.event -> 'Note.event       val swap : 'Note.event Note.signal -> 'Note.event       val map : ('-> 'b) -> 'Note.event -> 'Note.event       val stamp : '-> 'Note.event -> 'Note.event       val filter : ('-> bool) -> 'Note.event -> 'Note.event       val filter_map : ('-> 'b option) -> 'Note.event -> 'Note.event       val select : 'Note.event list -> 'Note.event       val accum : '-> ('-> 'a) Note.event -> 'Note.event       val fix : ('Note.event -> 'Note.event * 'b) -> 'b       module Option :         sig           val some : 'Note.event -> 'a option Note.event           val evict :             none:'Note.signal -> 'a option Note.event -> 'Note.event         end       val dump_src_ids : Format.formatter -> 'Note.event -> unit     end   module S :     sig       type 'a t = 'Note.signal       val obs : 'Note.S.t -> 'Note.Logr.obs       val log : ?now:bool -> 'Note.signal -> ('-> unit) -> Note.Logr.t       val create :         ?eq:('-> '-> bool) ->         '-> 'Note.signal * (?step:Note.Step.t -> '-> unit)       val eq : 'Note.signal -> '-> '-> bool       val value : 'Note.signal -> 'a       val const : ?eq:('-> '-> bool) -> '-> 'Note.signal       val hold :         ?eq:('-> '-> bool) -> '-> 'Note.event -> 'Note.signal       val bind : 'Note.signal -> ('-> 'Note.signal) -> 'Note.signal       val join : 'Note.signal Note.signal -> 'Note.signal       val swap :         'Note.signal -> 'Note.signal Note.event -> 'Note.signal       val changes : 'Note.signal -> 'Note.event       val map :         ?eq:('-> '-> bool) ->         ('-> 'b) -> 'Note.signal -> 'Note.signal       val app :         ?eq:('-> '-> bool) ->         ('-> 'b) Note.signal -> 'Note.signal -> 'Note.signal       val delay : '-> 'Note.signal Lazy.t -> 'Note.signal       val accum :         ?eq:('-> '-> bool) ->         '-> ('-> 'a) Note.event -> 'Note.signal       val fix : '-> ('Note.signal -> 'Note.signal * 'b) -> 'b       val l1 :         ?eq:('-> '-> bool) ->         ('-> 'b) -> 'Note.signal -> 'Note.signal       val l2 :         ?eq:('-> '-> bool) ->         ('-> '-> 'c) ->         'Note.signal -> 'Note.signal -> 'Note.signal       module Bool :         sig           val no : bool Note.signal           val yes : bool Note.signal           val not : bool Note.signal -> bool Note.signal           val ( && ) :             bool Note.signal -> bool Note.signal -> bool Note.signal           val ( || ) :             bool Note.signal -> bool Note.signal -> bool Note.signal           val edge : bool Note.signal -> bool Note.event           val rise : bool Note.signal -> unit Note.event           val fall : bool Note.signal -> unit Note.event           val flip : init:bool -> 'Note.event -> bool Note.signal         end       module Option :         sig           val none : 'a option Note.signal           val some : 'Note.signal -> 'a option Note.signal           val evict :             none:'Note.signal -> 'a option Note.signal -> 'Note.signal         end       val dump_src_ids : Format.formatter -> 'Note.signal -> unit     end end