Module Basetype

Printables and domains for some common types.

module Variables : sig ... end
module RawStrings : Printable.S with type t = string
module RawBools : Printable.S with type t = bool
module CilExp : sig ... end
module CilStmt : Printable.S with type t = GoblintCil.stmt
module CilField = CilType.Fieldinfo