Module Recipe.SVarSource

Sourcetype 'a same = 'a
Sourceval smap : f:(var -> Signal.t) -> var same -> Signal.t same
Sourceval new_var : Base.unit -> var same t
Sourceval read : var same -> Signal.t same t
Sourceval rewrite : (Signal.t same -> Signal.t same) -> var same -> var same -> Base.unit t
Sourceval apply : f:(Signal.t same -> Signal.t same) -> var same -> Base.unit t
Sourceval if_ : (Signal.t same -> Signal.t) -> var same -> then_:'a t -> else_:'b t -> Base.unit t
Sourceval while_ : (Signal.t same -> Signal.t) -> var same -> do_:'a t -> 'a t