module University

public export
record University where
  constructor CreateUniversity 
  id : Integer
  country : Integer
  city : Integer
  name : String
  faculty : Integer
  facultyName : String
  chair : Integer
  chairName : String
  graduation : Integer
  educationForm : String
  educationStatus : String
