Revision 7542a79f041b5f7d6e07b5e3f221f0a603c2acdb authored by Lucas Randazzo on 06 February 2024, 10:37:06 UTC, committed by Marge Bot on 15 February 2024, 15:51:59 UTC
Similar to Baking.attesting_rights, but for the Raw_context.t
1 parent 45cf30c
ediv_int-int_02.tzt
code { EDIV } ;
input { Stack_elt int 10 ; Stack_elt int 0 } ;
output { Stack_elt (option (pair int nat)) None }
Computing file changes ...
