And: Boolean, Boolean -> Boolean

type Function argument list

List: left: Boolean, right: Boolean

left: Boolean

type Argument declaration argument type Boolean argument ID Z10044K1 argument label

left

type Multilingual text texts

List: English: left

English: left

type Monolingual text language English text left

right: Boolean

type Argument declaration argument type Boolean argument ID Z10044K2 argument label

right

type Multilingual text texts

List: English: right

English: right

type Monolingual text language English text right

return type Boolean testers

List: T∧T=T, T∧F=F, F∧T=F, ...

T∧T=T T∧F=F F∧T=F F∧F=F

implementations

List: And composition

And composition

identity And