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.