add_prefix method

Result<Prefix, String> add_prefix(
  1. Prefix other
)

Implementation

Result<Prefix, String> add_prefix(Prefix other) {
  return this.from(this.get_prefix() + other.get_prefix());
}