Slide 24
Slide 24 text
f
u
n
c =
=
<
A
: E
q
u
a
t
a
b
l
e
>
(
l
h
s
: (
A
)
, r
h
s
: (
A
)
) -
> B
o
o
l
f
u
n
c =
=
<
A
: E
q
u
a
t
a
b
l
e
, B
: E
q
u
a
t
a
b
l
e
>
(
l
h
s
: (
A
, B
)
, r
h
s
: (
f
u
n
c =
=
<
A
: E
q
u
a
t
a
b
l
e
, B
: E
q
u
a
t
a
b
l
e
, C
: E
q
u
a
t
a
b
l
e
>
(
l
h
s
:
f
u
n
c =
=
<
A
: E
q
u
a
t
a
b
l
e
, B
: E
q
u
a
t
a
b
l
e
, C
: E
q
u
a
t
a
b
l
e
, D
: E
q
u
a
t
a
b
f
u
n
c =
=
<
A
: E
q
u
a
t
a
b
l
e
, B
: E
q
u
a
t
a
b
l
e
, C
: E
q
u
a
t
a
b
l
e
, D
: E
q
u
a
t
a
b
f
u
n
c =
=
<
A
: E
q
u
a
t
a
b
l
e
, B
: E
q
u
a
t
a
b
l
e
, C
: E
q
u
a
t
a
b
l
e
, D
: E
q
u
a
t
a
b
任意の個数の型の組み合わせ(6
個まで)