Module Nsatz_plugin.Nsatz

val nsatz_compute : Constr.t -> unit Proofview.tactic