imp(ics23): fallible conversion for ProofSpec
, LeafOp
, InnerSpec
#383
Job | Run time |
---|---|
7s | |
7s |
ProofSpec
, LeafOp
, InnerSpec
#383
Job | Run time |
---|---|
7s | |
7s |