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