You can search for identifiers within the package.
in-package search v0.2.0
BIR interpreter, that executes a program in a given context.
if is true then only feasible execution path is taken, otherwise, the interpreter, will execute all linearly independent paths.
true
inherit 'a Bap.Std.biri
constraint 'a = context