首页 / JAVA / java – 一旦我编写了内置函数,我需要做些什么才能让reasoners知道它?