anchor.diff:              this.getValue()
           and set (v: int) =
               this.setValue v
  +
  +    /// Gets or sets the slider value.
  +    [<JavaScript>]
  +    member this.Values
  +        with get () =
  +            this.getValues()
  +        and set (v: int []) =
  +            this.setValues v
   
       (****************************************************************
       * Events
  
positive.code:     val mutable Orientation: string
  
      [<DefaultValue>]
      [<Name "rang">]
      val mutable Rang: string
  
      [<DefaultValue>]
      [<Name "step">]
  
negative.code:     [<Inline "jQuery($this.element.Body).slider('value')">]
      member private this.getValue () = 0
  
      [<Inline "jQuery($this.element.Body).slider('values', $v)">]
      member private this.setValues (v: int []) = ()
  
      [<Inline "jQuery($this.element.Body).slider('values')">]
      member private this.getValues () = 0
  
  
  
      /// Gets or sets the slider value.
      [<JavaScript>]
      member this.Value
  