Pudu programming language
Menu
API reference

Std.Set.isSubsetOf

1 declaration

fn

isSubsetOf: &Set[T] -> &Set[T] -> Bool

This is a callable function.

What it does

Whether every member of the first set is in the second.

One merge of two ordered runs. A size comparison would reject an oversized

candidate without walking either set, but size here counts the members it

walks, so asking costs what it saves; that guard belongs with a set that

carries its own count.

Read the signature

  • The text after the name is the type checked by Pudu.
  • Read arrows from left to right: inputs come first, and the final type is returned.
  • & borrows a value for this call instead of moving or copying it.
  • Names inside [ ] are type arguments, such as the item type held by a collection.

Back to Std.SetSearch related declarations