Skip to main content
prove
logicaffeine_
compile
0.11.0
In logicaffeine_
compile::
spatial::
wide_
int
logicaffeine_compile
::
spatial
::
wide_int
Function
prove
Copy item path
Source
pub fn prove(op:
Op64
) ->
Result
<
Proof
,
String
>
Expand description
The lowering of
op
and its proof.