namespace HH; function serialize_with_options( mixed $value, dict $options = dict [ ], ): string;
mixed $value
dict $options = dict [ ]
string