Cubicle 1.1.2 documentation and source : Types.SAtom.subst

let subst sigma sa =
    TimerApply.start ();
    let sa = subst sigma sa in
    TimerApply.pause ();
    sa