SPValue (B2R2)

SPValue Module

Function or value	Description
`add c1 c2` Full Usage: `add c1 c2` Parameters: c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`	c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`
`and c1 c2` Full Usage: `and c1 c2` Parameters: c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`	c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`
`binOp op c1 c2` Full Usage: `binOp op c1 c2` Parameters: op : `BitVector -> BitVector -> 'a` c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`	op : `BitVector -> BitVector -> 'a` c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`
`goingUp fromV toV` Full Usage: `goingUp fromV toV` Parameters: fromV : `SPValue` toV : `SPValue` Returns: `bool`	fromV : `SPValue` toV : `SPValue` Returns: `bool`
`meet c1 c2` Full Usage: `meet c1 c2` Parameters: c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`	c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`
`sub c1 c2` Full Usage: `sub c1 c2` Parameters: c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`	c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`