Function smt_define_fun

Source
pub fn smt_define_fun() -> bool