@brunoro `defrecordp` doesn't generate any type, so you should just define the `@type` explicitly followed by the `defrecordp` definition.