namespace Frduino.Lib.Wire
#nowarn "3535"

open Stdlib.Asyncseq

type wireable' =
  abstract member id : int

type wireable<'t when 't :> wireable' and 't : (new : unit -> 't) > = 't

type t<'W when wireable<'W>> = interface end

type writer<'W when wireable<'W>> = interface end

type Builder =
  abstract member with_open_1<'W, 'T, 'K when wireable<'W>> : (t<'W> -> M<'T, 'K>) -> M<'T, 'K>
  abstract member Buf_write__with_trnms<'W when wireable<'W>> : t<'W> -> (writer<'W> -> Asyn<unit>) -> Asyn<unit>
  abstract member Flow__write_byte<'W when wireable<'W>> : writer<'W> -> int expr -> Asyn<unit>
  abstract member Request_for__n_from<'W when wireable<'W>> : int -> t<'W> -> asyn_n<int>