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