Module IntroGuards

module IntroGuards: sig .. end

Introduce Guards

This transformation removes "assuming" and "asserting" constructs and replaces them by boolean guards and assertions

type term = Nunchaku_core.TermInner.Default.t

val name : string

val encode_pb : (term, term) Nunchaku_core.Problem.t ->
       (term, term) Nunchaku_core.Problem.t

val pipe : print:bool ->
       check:bool ->
       ((term, term) Nunchaku_core.Problem.t,
        (term, term) Nunchaku_core.Problem.t, 'ret, 'ret)
       Nunchaku_core.Transform.t

Pipeline component