Package avail.interpreter.primitive.types

Primitive: If the second argument, a function, accepts the first argument as its parameter, do the invocation. Otherwise fail the primitive.

Primitive: If the second argument, a function, accepts the first argument as its parameter, do the invocation. Otherwise invoke the third argument, a zero-argument function.

Primitive: Create an enumeration from the given set of instances.

Primitive: How many instances does the specified type have?

Primitive: Obtain the sole instance, a type, of the specified metatype.

Primitive: Obtain the instances of the specified type.

Primitive: Answer whether value is an instance of type.

Primitive: Answer whether type1 is a subtype of type2 (or equal).

Primitive: Answer the type of the given object.

Primitive: Answer the type intersection of the specified types.

Primitive: Answer the type union of the specified types.