Up
–
imandra-base
»
Imandra_prelude
» Bool
Module
Imandra_prelude.Bool
type
t
= bool