Module biodivine_sketchbook::sketchbook::data_structs::_uninterpreted_fn_data

(internal) Definition and utility methods for UninterpretedFnData.

Structs

• UninterpretedFnData
  Structure for sending data about UninterpretedFn to the frontend.