Skip to main content
Version: 1.5.0

originate

type origination_result<p, s> = { code: michelson_contract<p, s>; size: int; taddr: typed_address<p, s> }

let contract: <p, s>(_: module_contract<p, s>) => (_: s) => (_: tez) => origination_result<p, s>

Originate a contract with an entrypoint function in curried form, initial storage and initial balance.

let from_file: <p, s>(_: string) => (_: s) => (_: tez) => origination_result<p, s>

Originate a contract with a path to the contract file, an entrypoint, and a list of views, together with an initial storage and an initial balance.

let michelson: <p, s>(_: michelson_contract<p, s>) => (_: s) => (_: tez) => typed_address<p, s>

Originate a contract with initial storage and initial balance.