Previous  Up  Next

Module ElimCopy

module ElimCopy: sig .. end

Eliminate Copy Types


val name : string
type term = Nunchaku_core.TermInner.Default.t 
type ty = term 
type decode_state 
val elim : (term, term) Nunchaku_core.Problem.t ->
       (term, term) Nunchaku_core.Problem.t *
       decode_state
val pipe : print:bool ->
       check:bool ->
       ((term, ty) Nunchaku_core.Problem.t,
        (term, ty) Nunchaku_core.Problem.t,
        (term, ty) Nunchaku_core.Problem.Res.t,
        (term, ty) Nunchaku_core.Problem.Res.t)
       Nunchaku_core.Transform.t