module Education 

public export
record Education where
  constructor CreateEducation
  university : Integer
  universityName : String
  faculty : Integer
  facultyName : String
  graduation : Integer
