Parameter RevComp.1-Comp

type t
val compare : t comp