Vdom_input_widgetsmodule type Display = sig ... endmodule type Equal = sig ... endmodule type Enum = sig ... endmodule type Set = sig ... endmodule type Enum_set = sig ... endDecimal can be used to create decimal number inputs
module Validated : sig ... endmodule Dropdown : sig ... endmodule Checkbox : sig ... endmodule Checklist : sig ... endmodule Multi_select : sig ... endCreates a multiple-selection list. This is different from Checklist in that the <select multiple> element is used underneath, rather than independent checkboxes. As a result:
module Entry : sig ... endmodule Button : sig ... endmodule Radio_buttons : sig ... endmodule File_select : sig ... endElements for selecting files from local disk