update in bin

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recommStep.ml

let id p = p
 
let register line next =
  let first = !line in
  line := fun k -> first @@ next @@ k