InterfaceElement constructor

1. lean_builder package
2. documentation
3. element
4. InterfaceElement
5. InterfaceElement.new constructor

InterfaceElement class