Contract - ST

Address:

ctzn1qqqqqqqr4tthqwes90kjeew0ttzpumxgcgw9w2uxf69e9ktwl4mfs9axj2svexny8

ID:

00000000755aee0766057da59cb9eb5883cd9918438ae570c9d1725b2ddfaed302f4d254

(* NAME_START:Subtype test:NAME_END *)

open Zen.Types
open Zen.Base
open Zen.Cost
open Zen.Asset
open Zen.Data

module D = Zen.Dictionary
module Tx = Zen.TxSkeleton
module CR = Zen.ContractResult
module RT = Zen.ResultT
module String = FStar.String
module C = Zen.Cost

let getToken contractId command = 
 if command = "index" then 
 begin
    let! token = Zen.Asset.fromSubtypeInt contractId 100ul in
 
    ret token
 end
 else
    let (version,cHash) = contractId in 
    let token = (version,cHash,cHash) in

    autoRet token

let main txSkeleton _ contractId command sender messageBody wallet state =
  let dict = messageBody >!= tryDict in

  let! returnAddress =
    dict
    >?= D.tryFind "returnAddress"
    >?= tryLock 
    in

  let! amount = 
    dict
    >?= D.tryFind "amount"
    >?= tryU64 
    in 
      
  match returnAddress,amount with
  | Some returnAddress, Some amount ->          
      let! token = getToken contractId command in 
                 
      let! txSkeleton =
        Tx.lockToAddress token amount returnAddress txSkeleton
        >>= Tx.mint amount token in

      CR.ofTxSkel txSkeleton
  | _ ->
    RT.autoFailw "parameters are missing"
    
let cf _ _ _ _ _ wallet _ =
    (4 + 64 + 2 + (4 + 64 + 2 + (64 + 0 + 10 + (64 + 64 + 3))) + 38)
    |> cast nat
    |> C.ret