ADA - Positive_count

Es la primera ves que encuentro este foro, me llama la atensión que la gente no tenga una duda especifica y pretenda solucionar problemas sin tener un minimo de verguenza de que otra persona le realice sus practicas,sin extenderme mucho mi duda es:
Tengo un fichero secuencial de tipo positive y necesito hacer una conversión a tipo positive_count, me comentaron que podria por medio de un cast , pero no conosco el comando si alguien sabe como se utiliza , le agradeceria que pusiera cualquier ejemplo.
Muchisimas gracias !! Atentamente Noelia___________¡Felices Fiestas!

simplemente así:

mi_positive_count := positive_count (mi_positive);