Module `Basetype`

Printables and domains for some common types.

module Variables : sig ... end

module RawStrings : Printable.S with type t = string

module CilExp : sig ... end

module CilStmt : Printable.S with type t = GoblintCil.stmt

module CilField = CilType.Fieldinfo