<?php

function session_name(string $name = UNKNOWN): string|false {}

function session_module_name(string $module = UNKNOWN): string|false {}

function session_save_path(string $path = UNKNOWN): string|false {}

function session_id(string $id = UNKNOWN): string|false {}

function session_create_id(string $prefix = ""): string|false {}

function session_regenerate_id(bool $delete_old_session = false): bool {}

function session_decode(string $data): bool {}

function session_encode(): string|false {}

function session_destroy(): bool {}

function session_unset(): bool {}

function session_gc(): int|false {}

function session_get_cookie_params(): array {}

function session_write_close(): bool {}

function session_abort(): bool {}

function session_reset(): bool {}

function session_status(): int {}

function session_register_shutdown(): void {}

function session_commit(): bool {}

function session_set_save_handler($open, $close = null, $read = null, $write = null, $destroy = null, $gc = null, $create_sid = null, $validate_sid = null, $update_timestamp = null): bool {}

function session_cache_limiter(string $cache_limiter = UNKNOWN): string|false {}

function session_cache_expire(?int $new_cache_expire = null): int|false {}

function session_set_cookie_params($lifetime_or_options, string $path = UNKNOWN, string $domain = "", ?bool $secure = null, ?bool $httponly = null): bool {}

function session_start(array $options = []): bool {}

interface SessionHandlerInterface
{
 /** @return bool */
 function open(string $save_path, string $session_name);

 /** @return bool */
 function close();

 /** @return string */
 function read(string $key);

 /** @return bool */
 function write(string $key, string $val);

 /** @return bool */
 function destroy(string $key);

 /** @return int|bool */
 function gc(int $maxlifetime);
}

interface SessionIdInterface
{
 /** @return string */
 function create_sid();
}

interface SessionUpdateTimestampHandlerInterface
{
 /** @return bool */
 function validateId(string $key);

 /** @return bool */
 function updateTimestamp(string $key, string $val);
}