sig
  val resolve_module_path :
    Ast.l -> Typed_ast.env -> Types.ident_option -> Path.t -> Ident.t
  val resolve_type_path :
    Ast.l -> Typed_ast.env -> Types.ident_option -> Path.t -> Ident.t
  val resolve_const_ref :
    Ast.l ->
    Typed_ast.env ->
    Target.target ->
    Types.ident_option -> Typed_ast.const_descr_ref -> Ident.t
end