~/jendhub

def shape

bolt@1.27.0.0 · src/rules/suspicious/fromrev.bend:22

import bolt@1.27.0.0/src/rules/suspicious/fromrev.bend as Fromrev
import Base

22# are the four texts `String.from_list`, `(`, `List.reverse` and `(`?
23def shape(+tt: String, +aa: String, +bb: String, +dd: String) -> Bool:
24  Bool.and(String.eq(tt, "String.from_list"),
25    Bool.and(String.eq(aa, "("), Bool.and(String.eq(bb, "List.reverse"), String.eq(dd, "("))))

Uses (4)

Used by (1)