Function mk_term 

pub unsafe extern "C" fn mk_term(
    tm: *mut TermManager,
    kind: Kind,
    size: usize,
    children: *const Term,
) -> Term

Create n-ary term of given kind. @param tm The term manager instance. @param kind The kind of the term. @param size The number of childrens. @param children The children of the term. @return The Term