Posix_types.Pthreadmodule Attr : sig ... endmodule Cond : sig ... endmodule Condattr : sig ... endmodule Key : sig ... endmodule Mutex : sig ... endmodule Mutexattr : sig ... endmodule Once : sig ... endmodule Rwlock : sig ... endmodule Rwlockattr : sig ... endmodule T : sig ... endtype attr_t = Attr.ttype cond_t = Cond.ttype condattr_t = Condattr.ttype key_t = Key.ttype mutex_t = Mutex.ttype mutexattr_t = Mutexattr.ttype once_t = Once.ttype rwlock_t = Rwlock.ttype rwlockattr_t = Rwlockattr.ttype t = T.t