Function biodivine_sketchbook::sketchbook::properties::static_props::_first_order_formula::deserialize_tree

source ยท 
fn deserialize_tree<'de, D>(deserializer: D) -> Result<FolTreeNode, D::Error>
where
    D: Deserializer<'de>,
Expand description

(internal) Deserialize field tree of FirstOrderFormula from the serialized string.