Up – Package index » picos » Library picos.sync » Picos_sync

Module `Picos_sync`Source

Basic communication and synchronization primitives for Picos.

Sourcemodule Mutex : sig ... end

A mutex implementation for Picos.

Sourcemodule Condition : sig ... end

A condition implementation for Picos.

Sourcemodule Lazy : sig ... end

A lazy implementation for Picos.