Module Zify.BinOp

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