Up
–
codex
»
Transfer_functions
»
Concrete
» Types
Module
Concrete.Types
type
boolean
= bool
type
integer
=
Z
.t
type
bitvector
=
Z
.t