LessThanOperatorEx.scala

package org.sireum.bakar.xml

import org.sireum.util._

object LessThanOperatorEx {
  def unapply(o : org.sireum.bakar.xml.LessThanOperator) = {
    Some(
      o.getSloc(),
      o.getRefName(),
      o.getRef(),
      o.getType(),
      o.getChecks()
    )
  }
}