UnOpSpec (rocq-runtime.Zify_plugin.Zify.UnOpSpec)

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

val print : unit -> unit