//(c):Benja Fallenstein package gzz.potion.potions; import gzz.potion.*; /** A function that wants to be replaced by a prefix argument, * if applicable. */ public interface PrefixFunction extends Function { }