def perm_nil

bend-mathlib@0.8.1.0 · perm.bend:31

import Base
import bendlib-kernel-list@1.0.0.0/list.bend as K

31# The empty list is a permutation of itself.
32def perm_nil(-A: Data) -> K.perm(A, Nil{}, Nil{}):
33  (Nil{}, {==})