Uni-Logo

Combinator Contracts

back to Contracts

Intersection Contract

(TreatJS 1.2.x)

Description

Intersection ( contract1, contract2 );

Parameters

contract1
Contract.
contract2
Contract.

Union Contract

(TreatJS 1.2.x)

Description

Union ( contract1, contract2 );

Parameters

contract1
Contract.
contract2
Contract.

And Contract

(TreatJS 1.x)

Description

And ( contract1, contract2 );

Parameters

contract1
Contract.
contract2
Contract.

Or Contract

(TreatJS 1.x)

Description

Or ( contract1, contract2 );

Parameters

contract1
Contract.
contract2
Contract.

Not Contract

(TreatJS 1.x)

Description

Not ( contract );

Parameters

contract
Contract.