m3e/nav_menu
NavMenu is a hierarchical menu, typically used on larger devices, that allows a user to switch between views.
This file was generated by m3e/generator
DO NOT EDIT
Types
Values
pub fn render(
arg: NavMenu,
attributes: List(attribute.Attribute(msg)),
children: List(element.Element(msg)),
) -> element.Element(msg)
render creates a Lustre Element for a NavMenu