next

module mutation

module PBT = 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