diff --git a/src/core/types.ml b/src/core/types.ml index 9495ac2..9472385 100644 --- a/src/core/types.ml +++ b/src/core/types.ml @@ -7,6 +7,7 @@ type user_data = [ `Int of int | `String of string | `Bool of bool + | `Float of float | `None ] (** User defined data, generally passed as key/value pairs to