xref: /seL4-l4v-master/HOL4/src/portableML/poly/ConcIsaLib.sml

structure Mutex = Thread.Mutex;
structure ConditionVar = Thread.ConditionVar;
exception Thread = Thread.Thread

structure Thread = Thread.Thread;