SimpleIO.IO_StdlibAxioms

Theory for IO_Stdlib



Axiom char_of_int_of_char :
  forall c, char_of_int_opt (int_of_char c) = Some c.