fstar-mode Examples and Free Source Code - EXAMPLE-A

How can I display the value and/or type of an fstar expression?...

fstar fstar-mode

Gdb with emacs and F*...

emacs gdb fstar fstar-mode