# This file is included first and automatically in all Goalfiles
# (unless you use --no-prelude). It contains standard functions and
# This file is included first and automatically in all Goalfiles
# (unless you use --no-prelude). It contains standard functions and