I found several Articles which deal with Minting Policy's for native tokens as:
- https://cardano-ledger.readthedocs.io/en/latest/explanations/policies.html#minting-policy
- https://github.com/input-output-hk/cardano-node/blob/master/doc/reference/simple-scripts.md
- https://docs.cardano.org/en/latest/native-tokens/getting-started-with-native-tokens.html#token-minting-policies
But none of them has a detailed desciption of syntax and functions provided in smartcontracts as of today (mary era). Any hints are welcome.