def l3.and

import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3

import Base

145def l3.and(a: Bool, b: Bool) -> Bool:
146  match a:
147    case False{}:
148      False{}
149    case True{}:
150      b

Uses (1)