import type { ReplaceSelf, ReplaceSelfInTuple } from "./replace-self.js";
import type { Trait } from "@tsimpl/core";
export type BoundTrait<TTrait extends Trait, TSelf> = {
    [Key in keyof TTrait]: TTrait[Key] extends (self: any, ...args: infer Args) => infer Result ? (...args: ReplaceSelfInTuple<Args, TSelf>) => ReplaceSelf<Result, TSelf> : ReplaceSelf<TTrait[Key], TSelf>;
};
export type ExtractTrait<TSelf, TTrait extends Trait> = BoundTrait<TTrait, TSelf>;