Ivory.Language.Struct

data StructDef sym

type family StructName (a :: Area *) :: Symbol

class IvoryStruct sym

data Label sym field

(~>)