/**
 * Compatibility module with the Playground's internal `marlowe-js` library. To migrate existing projects follow
 * the instructions in the [playground compatibility guide](https://github.com/input-output-hk/marlowe-ts-sdk/blob/main/doc/playground-compatibility.md)
 *
  ```
  import {
      Contract, Address, Role, Account, Party, ada, lovelace, AvailableMoney, Constant,
      NegValue, AddValue, SubValue, MulValue, DivValue, ChoiceValue, TimeIntervalStart,
      TimeIntervalEnd, UseValue, Cond, AndObs, OrObs, NotObs, ChoseSomething,
      ValueGE, ValueGT, ValueLT, ValueLE, ValueEQ, TrueObs, FalseObs, Deposit,
      Choice, Notify, Close, Pay, If, When, Let, Assert, SomeNumber, AccountId,
      ChoiceId, Token, ValueId, Value, EValue, Observation, Bound, Action, Payee,
      Case, Timeout, ETimeout
    } from "@marlowe.io/language-core-v1/playground-v1";

    function myContract(): Contract {
      return Close;
    }
  ```
 * @packageDocumentation
 */
import * as C from "./index.js";
import type { Timeout, Value, Party, ChoiceId, Token, Contract, Observation, Action, Payee, Case } from "./index.js";
export { Timeout, Value, Party, ChoiceId, Token, Contract, Observation, Action, Payee, Case };
export type SomeNumber = number | string | bigint;
export declare const Address: (address: string) => Party;
export declare const Role: (roleToken: string) => Party;
export type AccountId = Party;
declare const ChoiceId: (choiceName: string, choiceOwner: Party) => ChoiceId;
declare const Token: (currencySymbol: string, tokenName: string) => Token;
/**
 * @deprecated Use lovelace instead
 */
export declare const ada: Token;
export declare const lovelace: Token;
type ValueId = string;
export declare const ValueId: (valueIdentifier: string) => ValueId;
export type EValue = SomeNumber | Value;
export declare const AvailableMoney: (token: Token, accountId: AccountId) => Value;
export declare const Constant: (number: SomeNumber) => Value;
export declare const NegValue: (value: EValue) => Value;
export declare const AddValue: (lhs: EValue, rhs: EValue) => Value;
export declare const SubValue: (lhs: EValue, rhs: EValue) => Value;
export declare const MulValue: (lhs: EValue, rhs: EValue) => Value;
export declare const DivValue: (lhs: EValue, rhs: EValue) => Value;
export declare const ChoiceValue: (choiceId: ChoiceId) => Value;
export declare const TimeIntervalStart: Value;
export declare const TimeIntervalEnd: Value;
export declare const UseValue: (valueId: ValueId) => Value;
export declare const Cond: (obs: Observation, contThen: EValue, contElse: EValue) => Value;
export declare const AndObs: (lhs: Observation, rhs: Observation) => Observation;
export declare const OrObs: (lhs: Observation, rhs: Observation) => Observation;
export declare const NotObs: (obs: Observation) => Observation;
export declare const ChoseSomething: (choiceId: ChoiceId) => Observation;
export declare const ValueGE: (lhs: EValue, rhs: EValue) => Observation;
export declare const ValueGT: (lhs: EValue, rhs: EValue) => Observation;
export declare const ValueLT: (lhs: EValue, rhs: EValue) => Observation;
export declare const ValueLE: (lhs: EValue, rhs: EValue) => Observation;
export declare const ValueEQ: (lhs: EValue, rhs: EValue) => Observation;
export declare const TrueObs: Observation;
export declare const FalseObs: Observation;
export declare const Bound: (boundMin: SomeNumber, boundMax: SomeNumber) => C.Bound;
export declare const Deposit: (accId: AccountId, party: Party, token: Token, value: EValue) => Action;
export declare const Choice: (choiceId: ChoiceId, bounds: C.Bound[]) => Action;
export declare const Notify: (obs: Observation) => Action;
export declare function Account(party: Party): Payee;
declare function Party(party: Party): Payee;
declare const Case: (caseAction: Action, continuation: Contract) => Case;
export type ETimeout = SomeNumber;
export declare const Close: Contract;
export declare const Pay: (accId: AccountId, payee: Payee, token: Token, value: EValue, continuation: Contract) => Contract;
export declare const If: (obs: Observation, contThen: Contract, contElse: Contract) => Contract;
export declare const When: (cases: Case[], timeout: ETimeout, timeoutCont: Contract) => Contract;
export declare const Let: (valueId: ValueId, value: Value, cont: Contract) => Contract;
export declare const Assert: (obs: Observation, cont: Contract) => Contract;
//# sourceMappingURL=playground-v1.d.ts.map