module School

public export 
record School where
  constructor CreateSchool
  id : String
  country : Integer
  city : Integer
  name : String
  yearFrom : Integer
  yearTo : Integer
  yearGraduated : Integer
  clazz : Integer
  speciality : String
  type : Integer
  typeStr : Integer

