type t = {mutable contents : float;
}include Ref with type elt := float and type t := t
val create_local : float -> t @ localval create_zero : unit -> tval get : t @ local -> floatval set : t @ local -> (float -> unit) @ localval add : t @ local -> (float -> unit) @ local