type 'a user = Some of 'a | None ;;

type user_rec = {
	mutable id: int ;
	mutable code: string ;
	mutable password: string ;
	mutable first_name: string ;
	mutable last_name: string ;
	original: user_rec user ;
} ;;