public Result <Prefix> sub_prefix(Prefix other) { return(this.sub(other.get_prefix())); }
public Result <Prefix> add_prefix(Prefix other) { return(this.from(this.get_prefix() + other.get_prefix())); }