module Frduino.Genlet.For_lib.Seq

open Stdlib.Asyncseq
open Frduino.Genlet

type Builder() =
  interface Frduino.Lib.Seq.Builder with
    override __.append (a: M<'T,'K>): M<'T,'K> -> M<'T,'K> = 
      let a = a :?> Code<'T, 'K>
      fun b ->
      let b = b :?> Code<'T, 'K>
      { g = a.g @ b.g
      ; s_0 = a.s_0 @ b.s_0
      ; s = a.s @ b.s }