sig   val eq : ('-> '-> bool) -> 'a option -> 'a option -> bool   val hold_value : '-> 'a option Note.signal -> 'Note.signal   val none : 'a option Note.signal   val some : 'Note.signal -> 'a option Note.signal   val value :     'a option Note.signal -> default:'Note.signal -> 'Note.signal   val get : ?eq:('-> '-> bool) -> 'a option Note.signal -> 'Note.signal   val bind :     ?eq:('b option -> 'b option -> bool) ->     'a option Note.signal -> ('-> 'b option) -> 'b option Note.signal   val join :     ?eq:('a option -> 'a option -> bool) ->     'a option option Note.signal -> 'a option Note.signal   val map :     ?eq:('b option -> 'b option -> bool) ->     ('-> 'b) -> 'a option Note.signal -> 'b option Note.signal   val is_none : 'a option Note.signal -> bool Note.signal   val is_some : 'a option Note.signal -> bool Note.signal end