attach #valtype to more types and expose Coroutine struct fields

src/cond_var/cond_var.mbt

@@ -30,6 +30,7 @@ priv struct Waiter {
 
 ///|
 /// A condition variable that can be used for synchronization between tasks.
+#valtype
 struct Cond {
   waiters : @deque.Deque[Waiter]
 }

src/internal/coroutine/coroutine.mbt

@@ -13,15 +13,15 @@
 // limitations under the License.
 
 ///|
-priv enum State {
+enum State {
   Done
   Fail(Error)
   Running
   Suspend(ok_cont~ : (Unit) -> Unit, err_cont~ : (Error) -> Unit)
 }
 
 ///|
-struct Coroutine {
+pub struct Coroutine {
   coro_id : Int
   mut state : State
   mut shielded : Bool

src/internal/coroutine/pkg.generated.mbti

@@ -3,6 +3,7 @@ package "moonbitlang/async/internal/coroutine"
 
 import {
   "moonbitlang/core/debug",
+  "moonbitlang/core/set",
 }
 
 // Values
@@ -32,7 +33,14 @@ pub(all) suberror Cancelled derive(@debug.Debug)
 pub impl Show for Cancelled
 
 // Types and methods
-type Coroutine
+pub struct Coroutine {
+  coro_id : Int
+  mut state : State
+  mut shielded : Bool
+  mut cancelled : Bool
+  mut ready : Bool
+  downstream : @set.Set[Coroutine]
+}
 pub fn Coroutine::cancel(Self) -> Unit
 pub fn Coroutine::check_error(Self) -> Unit raise
 pub fn Coroutine::unwrap(Self) -> Unit raise
@@ -41,6 +49,8 @@ pub fn Coroutine::wake(Self) -> Unit
 pub impl Eq for Coroutine
 pub impl Hash for Coroutine
 
+type State
+
 // Type aliases
 
 // Traits

src/task.mbt

@@ -15,6 +15,7 @@
 ///|
 /// `Task[X]` represents a running task with result type `X`,
 /// it can be used to wait and retrieve the result value of the task.
+#valtype
 struct Task[X] {
   value : Ref[X?]
   coro : @coroutine.Coroutine