Searched refs:unify_int_arg (Results 1 – 1 of 1) sorted by relevance
3957 unify_int_arg(int pos, term_t t, long val) function3973 { if ( unify_int_arg(1, what, statistics.statements_created) &&3974 unify_int_arg(2, what, statistics.statements_freed) )