Fix_version
Printers for core types appearing in messages
type session_details
=
{
constant_begin_string : Imandra_prelude.string;
}
val default_session_details : session_details