|
-
c1
:
SPValue
-
c2
:
SPValue
-
Returns:
SPValue
|
|
-
c1
:
SPValue
-
c2
:
SPValue
-
Returns:
SPValue
|
|
-
op
:
BitVector -> BitVector -> 'a
-
c1
:
SPValue
-
c2
:
SPValue
-
Returns:
SPValue
|
|
-
fromV
:
SPValue
-
toV
:
SPValue
-
Returns:
bool
|
|
-
c1
:
SPValue
-
c2
:
SPValue
-
Returns:
SPValue
|
|
-
c1
:
SPValue
-
c2
:
SPValue
-
Returns:
SPValue
|