▁the ▁sum ▁of ▁their ▁numeric ▁values . ▁car ▁given ▁an ▁expression ▁whose ▁value ▁is ▁a ▁pair , ▁returns ▁the ▁pair ' s ▁first ▁value . ▁c dr ▁given ▁an ▁expression ▁whose ▁value ▁is ▁a ▁pair , ▁returns ▁the ▁pair ' s ▁second ▁value . ▁cons ▁given ▁two ▁expressions ▁returns ▁a ▁value ▁pair ▁consisting ▁of ▁their ▁values . ▁div ▁given ▁two ▁expressions ▁returns ▁the ▁divid end ▁of ▁their ▁numeric ▁values . ▁eq ▁given ▁two ▁expressions ▁returns ▁True ▁if ▁their ▁values ▁are ▁equal ; ▁False ▁if ▁not . ▁if ▁given ▁three ▁expressions ▁returns ▁the ▁value ▁of ▁the ▁second ▁if ▁the ▁value ▁of ▁the ▁first ▁is ▁True , ▁otherwise ▁returns ▁the ▁value ▁of ▁the ▁third . ▁lambda ▁given ▁an ▁argument ▁list ▁and ▁an ▁expression , ▁returns ▁them ▁as ▁a ▁function . ▁let ▁given ▁an ▁expression ▁with ▁declarations ▁( as ▁named ▁expressions ▁visible ▁in ▁the ▁expression ) ▁returns ▁its ▁value . ▁let rec ▁like ▁let , ▁except ▁the ▁declared ▁names ▁are ▁also ▁visible ▁in ▁the ▁declarations ▁themselves . ▁le q ▁given ▁two ▁expressions , ▁returns ▁True ▁if ▁the ▁value ▁of ▁the ▁first ▁is ▁numer ically ▁less ▁than ▁or ▁equal ▁to ▁the ▁value ▁of ▁the ▁second ; ▁False ▁if ▁not . ▁mod ▁( or ▁rem ) ▁given ▁two ▁expressions , ▁returns ▁the ▁mod ulus ▁( also ▁known ▁as ▁the ▁remainder ) ▁of ▁their ▁numeric ▁values . ▁mul ▁given ▁two ▁expressions , ▁returns ▁the ▁product ▁of ▁their ▁numeric ▁values . ▁quote ▁given ▁an ▁expression , ▁returns ▁that ▁expression ▁as ▁a ▁value . ▁sub ▁given ▁two ▁expressions , ▁returns ▁the