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