module Definitions where

data Rec = Rec { num :: Int }