Contract - T-SM

Address:

ctzn1qqqqqqq9gpflejxt3dr3648k3wtp6f8ludvugcg3w4zgt4ryy9cp83fz8vcgtadcn

ID:

00000000a80a7f99197168e3aa9ed172c3a49ffc6b388c222ea890ba8c842e0278a44766

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 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) + 22
    |> cast nat
    |> C.ret