spade_hir_lowering

Function do_wal_trace_lowering

Source 
pub fn do_wal_trace_lowering(
    pattern: &Loc<Pattern>,
    main_value_name: &ValueName,
    wal_traceable: &Loc<WalTraceable>,
    wal_trace: &Loc<WalTrace>,
    ty: &ConcreteType,
    result: &mut StatementList,
    ctx: &mut Context<'_>,
) -> Result<()>