Contract - SM

Address:

ctzn1qqqqqqq8ua7qvm6xvvx4t5989x6jk8ddc6sespvln0lj8ks77ksxeza6r5gcz4emt

ID:

00000000fcef80cde8cc61aaba14e536a563b5b8d43300b3f37fe47b43deb40d917743a2

open Zen.Types
open Zen.Base
open Zen.Cost

module RT = Zen.ResultT
module Tx = Zen.TxSkeleton
module C = Zen.Cost

let main txSkeleton _ contractId command sender messageBody wallet state =
  let! asset = Zen.Asset.getDefault contractId in
  let spend = { asset=asset; amount=1000UL } in
  let lock = ContractLock contractId in

  let output = { lock=lock; spend=spend } in
  let pInput = Mint spend in

  let! txSkeleton =
    Tx.addInput pInput txSkeleton
    >>= Tx.lockToContract spend.asset spend.amount contractId in

  RT.ok @ {
    tx = txSkeleton;
    message = None;
    state = NoChange;
  }

let cf _ _ _ _ _ _ _ = 
    64 + (64 + 64 + 0) + 25
    |> cast nat
    |> C.ret