Module Extension.Expert

type ('context, 'payload) t

Type of declared expert extensions.

The 'context type parameter describes where the extension is expected and the 'payload one what its payload should contain.

val declare : Base.String.t -> 'context Context.t -> (Migrate_parsetree.Ast_408.Parsetree.payload, 'a, 'b) Ast_pattern.t -> 'a -> ('context, 'b) t
val declare_with_path_arg : Base.String.t -> 'context Context.t -> (Migrate_parsetree.Ast_408.Parsetree.payload, 'a, 'b) Ast_pattern.t -> (arg:Longident.t Loc.t Base.Option.t -> 'a) -> ('context, 'b) t
val convert : (_, 'a) t Base.List.t -> loc:Location.t -> (string Ocaml_common.Location.loc * Migrate_parsetree.Ast_408.Parsetree.payload) -> 'a Base.Option.t