test

The testing framework

module michelson

module originate

module mutation

module pbt

module String

module IO

module Typed_address

module State

module Account

module Compare

module Assert

module Contract

module Address

module Ticket

module Timelock

module Crypto

module Dynamic_entrypoints

random: <a>(_: unit) => a

This function creates a random value for a chosen type.

get_time: <a>(_: unit) => a

Alias of Tezos.get_now.