namespace UnityPeripherals

open Stdlib

// <code>
// open UnityPeripherals
//
// type m_os =
//   inherit editor_os&lt;_&gt;
//   override __.seq with get () = 
//     Seq.append base.seq @@
//     ...
// </code>

type editor_os<'T, 'TParam, 'TBuilder when 'TBuilder :> Stdlib.Serializable<'T, 'TParam>> =                         /// <summary> haha </summary>
  abstract member PullStream : Frduino.Lib.Async.env -> Asyncseq.M<'T, unit> /// <summary> <c>base.seq</c> is the default initialization program for the current <c>editor_os</c>. </summary>
  default PullStream : Frduino.Lib.Async.env -> Asyncseq.M<'T, unit>
  new : syntax<'T, 'TParam, 'TBuilder> -> editor_os<'T, 'TParam, 'TBuilder>

/// <summary> <c>editor_os</c> is an MCU-like subsystem for Unity. <example> Implementer should take care to prepend this program to that of their implementation; or they can opt out, see the XXX reference to understand how it works. </example> </summary>
type editor_os_1<'T, 'TParam, 'TBuilder when 'TBuilder :> Stdlib.Serializable<'T, 'TParam>> =                         /// <summary> haha </summary>
  inherit editor_os<'T, 'TParam, 'TBuilder>
  abstract member seq : Frduino.Lib.Async.env -> Asyncseq.M<'T, unit> with get /// <summary> <c>base.seq</c> is the default initialization program for the current <c>editor_os</c>. </summary>
  default seq : Frduino.Lib.Async.env -> Asyncseq.M<'T, unit> with get
  new : syntax<'T, 'TParam, 'TBuilder> -> editor_os_1<'T, 'TParam, 'TBuilder>