Module Zify.PropBinOp

val register : Libnames.qualid -> unit
val print : unit -> unit