Module `Zify_plugin.Zify`

module type S = sig ... end

module InjTable : S

module UnOp : S

module BinOp : S

module CstOp : S

module BinRel : S

module PropOp : S

module PropUnOp : S

module Spec : S

module Saturate : S

val zify_tac : unit Proofview.tactic
val saturate : unit Proofview.tactic
val iter_specs : Ltac_plugin.Tacinterp.Value.t -> unit Proofview.tactic