Home
Manual
Topics
Types
Symbols
std::is_a_process_id
returns true if the argument is a process id
Parameters
None
Results
None
Implemented by
std_types::object
objects aren't process ids per default
std_types::process_id
process ids are process ids