verify_elsewhere_binding :: (
header: *Code_Procedure_Header,
os: Operating_System_Tag,
cpu: CPU_Tag
) -> bool
Parameters
- header: *Code_Procedure_Header
- os: Operating_System_Tag
- cpu: CPU_Tag
Returns
- bool
verify_elsewhere_binding :: (
header: *Code_Procedure_Header,
os: Operating_System_Tag,
cpu: CPU_Tag
) -> bool