Function LogicOutput 

pub fn LogicOutput(_: LogicOutputProps) -> Element

Props

For details, see the props struct definition.

• logic : Option<String>
• simple_logic : Option<String>
• kripke_logic : Option<String>
• readings : Vec<String>
• simple_readings : Vec<String>
• kripke_readings : Vec<String>
• error : Option<String>
• format : OutputFormat