Intrinsic_registry.Sync_intrinsics
Synchronization intrinsics
val names : string list
val is_sync_intrinsic : string -> bool