Next

module Mutation

module PBT = Test.PBT

module State

module Account

module Compare

module Michelson

module IO

module Assert

module String

module Ticket

module Originate

module Contract

module Typed_address

module Address

module Timelock

module Crypto

module Dynamic_entrypoints

let originate: <p, s>(_: module_contract<p, s>) => (_: s) => (_: mav) => origination_result<p, s>

let failwith: <a, b>(_: a) => b