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