DefaultOptions returns the default options.

SDKServerInfo wait for the server to start and return the server info.

WithServerInfoFilePath sets the server info file path to the given path.

WithServerInfoReadinessTimeout sets the server info readiness timeout to the given timeout.

MapModeKey field is used to indicate which map mode is enabled If none is set, we consider the unary map as default.

MultiProcKey is the field used to indicate that MultiProc map mode is enabled The value contains the number of servers spawned.

ServerInfo is the information about the server.

Option is the interface to apply Options.