sig
  type t = string
  type anot_type = unit
  val anot_parser : unit -> unit
  val pprint_keyid : '-> 'a
  val key_val_of_string : '-> 'a
  val compare_keyid : String.t -> String.t -> int
  val pprint_anot : '-> string
end