Module biodivine_sketchbook::sketchbook::model::_uninterpreted_fn

(internal) Definition and utility methods for UninterpretedFn.

Structs

• UninterpretedFn
  An uninterpreted function of a partially specified model.