@harmoniclabs/plu-ts-onchain/dist/pluts/type_system/typeExtends.d.ts

An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript

import { GenericStructDefinition, GenericTermType, SopDefinition } from "./types.js";
/**
 * needed for
 *
 * ```ctorDefExtends```
 * ```structExtends```
 * ```typeExtends```
 */
type TyParam = {
    tyVar: symbol;
    tyArg: GenericTermType;
};
export declare function sopDefExtends(extendingDef: SopDefinition, sDef: SopDefinition | GenericStructDefinition, subs?: TyParam[]): boolean;
export declare function typeExtends(extending: GenericTermType, extended: GenericTermType): boolean;
export {};