Module Concrete.Types

type boolean = bool
type integer = Z.t
type bitvector = Z.t