pyk
Contents:
pyk
pyk package
Subpackages
pyk.cterm package
pyk.kast package
pyk.kbuild package
pyk.kcfg package
pyk.kdist package
pyk.kllvm package
pyk.konvert package
pyk.kore package
pyk.kore_exec_covr package
pyk.krepl package
pyk.ktool package
pyk.prelude package
pyk.proof package
pyk.testing package
Submodules
pyk
pyk
pyk package
pyk.kore package
pyk.kore.pool module
View page source
pyk.kore.pool module
class
KoreServerPool
(
create_server
:
Callable
[
[
]
,
KoreServer
]
,
*
,
max_workers
:
int
|
None
=
None
)
[source]
Bases:
ContextManager
[
KoreServerPool
]
close
(
)
→
None
[source]
submit
(
fn
:
Callable
[
Concatenate
[
int
,
P
]
,
T
]
,
/
,
*
args
:
P.args
,
**
kwargs
:
P.kwargs
)
→
Future
[
T
]
[source]