How to get ML values from HOL?

Question

I have an embedded ML code like this:

ML ‹
  val boo = true;
  val num = 1234;
  val rea = 3.14;
  val str = "hi";
›

Can anyone giv