Skip to main content

Browse the archive

Revision 1d15fab6e9b5c99421234032bf42cd3cac109cb9 authored by Lucas Randazzo on 25 January 2024, 15:15:04 UTC, committed by Marge Bot on 05 February 2024, 11:12:22 UTC 
Proto/RPC: update RPC with late slashing
1 parent e8740da
Raw File
emptyset_nat_00.tzt 
code { EMPTY_SET nat } ;
input { } ;
output { Stack_elt (set nat) { } }
back to top