Module biodivine_sketchbook::sketchbook::model::_uninterpreted_fn_arg

source ·
Expand description

(internal) Definition and utility methods for FnArgument.

Structs§

  • FnArgument
    Data regarding an argument of an uninterpreted function.