sig
  val format : Atd_ast.full_module -> Easy_format.t
  val string_of_type_name :
    string -> Atd_ast.type_expr list -> Atd_ast.annot -> string
end