~/jendhub

def perm_append_nil

bend-mathlib@0.8.1.0 · perm.bend:118

import bend-mathlib@0.8.1.0/perm.bend as Perm
import Base
import bendlib-kernel-list@1.0.0.0/list.bend as K

118# Appending Nil is a permutation, by the empty step list.
119def perm_append_nil(-A: Data, +xs: List<&2, A>) -> K.perm(A, List.append(&2, A, xs, Nil{}), xs):
120  (Nil{}, internal_append_nil(A, xs))

Uses (5)

Used by (1)