A ver si alguien me puede ayudar con esto del ADA:
Se dispone de la especificación del siguiente constructor:
FUNCIÓN Cons ( N : Nombre; A : Area; S : String) --> Cuenca_Fluvial
--PRE : cierto
--POST: 'resultado' es el dato que resulta al agregar los datos 'N', 'A' y 'S' en una tupla de tipo 'Cuenca_Fluvial', de modo que resultado = (N, A, Suelo (S)).
--POST: resultado = (N, A, Suelo (S)).
--DONDE: Suelo (S) = "Construcción de un dato de tipo Suelo a partir de un String 'S'"
gracias