def make_function_table_key(key_type: bytes, job_id: JobID,
key: Optional[bytes]):
if key is None:
return b":".join([key_type, job_id.hex().encode()])
else:
return b":".join([key_type, job_id.hex().encode(), key])
def make_exports_prefix(job_id: JobID) -> bytes:
return b"IsolatedExports:" + job_id.hex().encode()