##
# Guppy Specification Language
# @see {@link ...}