anchor.diff:              |> Doc.EmbedView
           )
   
  +    [<Inline>]
       let RenderMany (c: Many.Collection<_,_,_,_,_>) f =
           c.Render f
   
  +    [<Inline>]
       let RenderManyAdder (c: Many.Collection<_,_,_,_,_>) f =
           c.RenderAdder f
   
  +    [<Inline>]
       let RenderPrimary (d: Dependent<_,_,_>) f =
           d.RenderPrimary f
   
  +    [<Inline>]
       let RenderDependent (d: Dependent<_,_,_>) f =
           d.RenderDependent f
   
  +    [<Inline>]
       let GetView (p: Form<_, _ -> _>) =
           p.view
   
  
positive.code:         render : 'R
      }
  
      member this.Id = this.id
      member this.View = this.view
      member this.Render = this.render
  
  type ErrorMessage with
  
negative.code:                 | Success p -> p.view
                  | Failure m -> View.Const (Failure m))
          
          [<Inline>]
          member this.View : View<Result<'TResult>> = out
  
          [<Inline>]
          member this.RenderPrimary (f: 'U) : Doc =
              renderPrimary f
  
  