Module Posix_types.Pthread
module 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