representation

cfamily.Representation.width

def Representation.width {L : Constructs} (ext : TypeExtension L) (tgt : Target) (t : Ty L) : Nat

The bits an object of a type takes by the C layout.

cfamily.Representation.sameLayout

def Representation.sameLayout {L : Constructs} (ext : TypeExtension L) (tgt : Target) (g : Globals L) (t : Ty L) : Bool

Whether a struct or union is laid out the C way by the dialect too.

cfamily.Representation.of

def Representation.of {L : Constructs} (ext : TypeExtension L) (tgt : Target) (g : Globals L) (t : Ty L) : Option Placed

The place of a whole object of a type, if its bits are the C layout’s.