virtual_dom.input_widgets
Vdom_input_widgets.Decimal
Decimal can be used to create decimal number inputs
Decimal
number
Note that of_string/to_string raise if t is NaN, +Inf, or -Inf, since these are not valid decimals and cannot be used in number inputs.
of_string
to_string
t
virtual_dom
virtual_dom.css_gen
virtual_dom.html5_history
virtual_dom.keyboard
virtual_dom.layout
virtual_dom.svg
virtual_dom.tyxml
virtual_dom.ui_effect
virtual_dom.vdom_test_helpers
type t = float
val of_string : string -> t
val to_string : t -> string