Function biodivine_sketchbook::sketchbook::properties::static_props::_first_order_formula::serialize_tree

source ยท 
fn serialize_tree<S>(
    tree: &FolTreeNode,
    serializer: S,
) -> Result<S::Ok, S::Error>
where
    S: Serializer,
Expand description

(internal) Serialize field tree of FirstOrderFormula as a string.