Library SimpleIO.IO_PervasivesAxioms

Theory for IO_Pervasives


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