Up
–
imandra-base
»
Imandra_interactive
» Code_of_prelude
Module
Imandra_interactive.Code_of_prelude
val
code : string
val
code_top : string