FOLTLTermFunctions.scala 5.8 KB