FOLTLTermFunctions.scala 5.53 KB