Module biodivine_sketchbook::sketchbook::properties::_macros