diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2025-06-22 18:19:53 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2025-06-22 18:19:53 +0200 |
commit | eec8622f3a195553c9888949b8f53ae306bb7a35 (patch) | |
tree | c171bc1649c99fb33a3a77f74dcae54e041487b6 /js/elements.mli | |
parent | 78121f4ef2a2f8e0783a22554a01cf2efc409e6a (diff) |
Update
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 *) |