aboutsummaryrefslogtreecommitdiff
path: root/js/elements.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-06-22 18:19:53 +0200
committerSébastien Dailly <sebastien@dailly.me>2025-06-22 18:19:53 +0200
commiteec8622f3a195553c9888949b8f53ae306bb7a35 (patch)
treec171bc1649c99fb33a3a77f74dcae54e041487b6 /js/elements.mli
parent78121f4ef2a2f8e0783a22554a01cf2efc409e6a (diff)
Update
Diffstat (limited to 'js/elements.mli')
-rw-r--r--js/elements.mli8
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 *)