sig
  val adhoc_completion :
    (string * Parsetree.type_declaration) list ->
    (string * Parsetree.type_declaration) list
end