spade_hir_lowering

Function lower_wal_trace

Source 
pub fn lower_wal_trace(
    pattern: &Loc<Pattern>,
    wal_trace: &Loc<WalTrace>,
    ctx: &mut Context<'_>,
    result: &mut StatementList,
    concrete_ty: &ConcreteType,
) -> Result<()>