smt_spec
layer_
climb
0.8.8
In layer_
climb::
proto::
ibc::
ics23
layer_climb
::
proto
::
ibc
::
ics23
Function
smt_
spec
Copy item path
pub fn smt_spec() ->
ProofSpec