% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            case4.dtr                                                %
% Purpose:         use of function instead of 'case' construct              %
% Author:          Eric Kafe, 17th August 1994                              %
% Email:           kafe@cphling.dk                                          %
% Version:         1.01                                                     %
% Related files:   case1.dtr, case3.dtr, case3.dtr                          %
%                                                                           %
%   Copyright (c) University of Copenhagen 1994.  All rights reserved.      %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Coat is a function from <type> to <coat>

Coat:
    <> == short_hair
    <birman> == long_hair
    <sphinx> == no_hair.

Cat:
    <coat> == Coat:<"<type>">
    <type> == moggie.

Garfield:
    <> == Cat.

Felix:
    <> == Cat
    <type> == birman.

Kojak:
    <> == Cat
    <type> == sphinx.

% % % % % % % % % % % % % % % % % %
%                                 %
% Three theorems:                 %
%                                 %
% Garfield: <coat> = short_hair.  %
% Felix:    <coat> = long_hair.   %
% Kojak:    <coat> = no_hair.     %
%                                 %
% % % % % % % % % % % % % % % % % %

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

# hide Cat Coat.

# show <type> <coat>.

% The next line is the Revision Control System Id: do not delete it.
% $Id: archive.dtr,v 1.1 1997/04/09 20:40:33 root Exp $