LanguagetestnextnextVersion: 1.5.0nextmodule mutationmodule PBT = PBTmodule statemodule accountmodule comparemodule michelsonmodule iomodule assertmodule stringmodule ticketmodule originatemodule contractmodule typed_addressmodule addressmodule timelockmodule cryptomodule dynamic_entrypointslet originate: <p, s>(_: module_contract<p, s>) => (_: s) => (_: tez) => origination_result<p, s>let failwith: <a, b>(_: a) => b