diff options
Diffstat (limited to 'js/elements.mli')
-rw-r--r-- | js/elements.mli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/js/elements.mli b/js/elements.mli new file mode 100644 index 0000000..fcb5588 --- /dev/null +++ b/js/elements.mli @@ -0,0 +1,8 @@ +val input_field : + ?name:Jstr.t -> + ?id':Jstr.t -> + ?value':Jstr.t -> + label:Jstr.t -> + unit -> + Brr.El.t +(** Create a new input element *) |