Module o1vm::legacy::proof

source ·

Functions

  • FIXME: DUMMY FOLD FUNCTION THAT ONLY KEEPS THE LAST INSTANCE