Rest
Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand.
Return the collection without the first element. If the collection has only one element, return an empty collection.
✓ checked against that system · ! checked, with disagreements (hover a chip)Wolfram Language
Rest!Rest((T) -> T where T: string) & ((indexed_collection<T>) -> list<T> where T)as compute-engine declares itTyped signatures
| Type | Package | Applies |
|---|---|---|
((T) -> T where T: string) & ((indexed_collection<T>) -> list<T> where T: any) | compute-engine | always |
Examples
About
| Examples | 3 |
|---|---|
| Checked against | Wolfram Language 2 agree1 differ |
| Crosswalk | Wolfram Language |
Implementation
mapped
mathlib4packages/oracle/src/mappings.tsThe list without its head; the empty list stays empty, as ours does.