Up
–
codex
»
Framac_ival
»
Abstract_interp
» Bool
Module
Abstract_interp.Bool
type
t
=
|
Top
|
True
|
False
|
Bottom