@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
7 lines (6 loc) • 491 B
TypeScript
import { PFn, TermFn } from "../../../PTypes/index.js";
import { Term } from "../../../Term/index.js";
import { TermType, ToPType } from "../../../type_system/index.js";
export declare function pflip<A extends TermType, B extends TermType, C extends TermType>(a: A, b: B, c: C): Term<PFn<[PFn<[ToPType<B>, ToPType<A>], ToPType<C>>, ToPType<A>, ToPType<B>], ToPType<C>>> & {
$: (termFn: Term<PFn<[ToPType<B>, ToPType<A>], ToPType<C>>>) => TermFn<[ToPType<A>, ToPType<B>], ToPType<C>>;
};