From e722970547ed8825c7c63a4e5e6b65c3cdb38e4d Mon Sep 17 00:00:00 2001 From: Swrup Date: Tue, 16 Apr 2024 03:03:41 +0200 Subject: [PATCH] abstract type --- lib/slippery_slidy.mli | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/lib/slippery_slidy.mli b/lib/slippery_slidy.mli index 5fd2e84..87544b7 100644 --- a/lib/slippery_slidy.mli +++ b/lib/slippery_slidy.mli @@ -8,13 +8,7 @@ type datalist = ; datalist_el : El.t } -(* TODO can I hide this type completly? *) -type widget - -type _ t = - | Text : widget -> string t - | Slider : widget -> float t - | Color : widget -> string t +type _ t (** type for the step parameter of [mk_slider] Any is for continuous slider *) type step_kind =