swrup/gadgetobrr
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

abstract type

Browse source
This commit is contained in:
Swrup 2024-04-16 03:03:41 +02:00
parent ff30021434
commit e722970547
1 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
lib/slippery_slidy.mli
View file

@ -8,13 +8,7 @@ type datalist =
; datalist_el : El.t ; datalist_el : El.t
} }
(* TODO can I hide this type completly? *) type _ t
type widget
type _ t =
| Text : widget -> string t
| Slider : widget -> float t
| Color : widget -> string t
(** type for the step parameter of [mk_slider] Any is for continuous slider *) (** type for the step parameter of [mk_slider] Any is for continuous slider *)
type step_kind = type step_kind =