sub_prefix method

Result<Prefix, String> sub_prefix(Prefix other)

Implementation

Result<Prefix, String> sub_prefix(Prefix other) {
  return this.sub(other.get_prefix());
}