Skip to content

Instantly share code, notes, and snippets.

@ruescasd

ruescasd/main.rs

Created February 7, 2025 18:05
Show Gist options
  • Save ruescasd/91344a9420130d77b009f3e43992ea8e to your computer and use it in GitHub Desktop.
Save ruescasd/91344a9420130d77b009f3e43992ea8e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
main.rs
use cry_rts::trait_methods::*;
pub fn main() {
println!("{:#?}", (*cryptol_gen::primitives::prg_ddh__test::main).display())
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment