BinRef

object BinRef
class Object
trait Matchable
class Any
BinRef.type

Value members

Concrete methods

def unapply(addr: Addr)(implicit state: State): Option[(Bin, Val, Val)]
def unapply(value: Val)(implicit state: State): Option[(Bin, Val, Val)]