Function biodivine_sketchbook::sketchbook::properties::dynamic_props::_hctl_formula::serialize_tree

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

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