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) => (_: mav) => 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) => (_: mav) => 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) => (_: mav) => typed_address<p, s>
Originate a contract with initial storage and initial balance.