Parameter Std.B

type t
val name : unit -> string
val top_of : GoblintCil.Cil.ikind -> t
val bot_of : GoblintCil.Cil.ikind -> t
val show : t -> string
val equal : t -> t -> bool