let compile: <p, s>(_: (_: [p, s]) => [list<operation>, s]) => michelson_contract<p, s>
Compiles a contract from an entrypoint function.
let compile_with_views: <p, s>(_: (_: [p, s]) => [list<operation>, s]) => (_: views<s>) => michelson_contract<p, s>
let size: <p, s>(_: michelson_contract<p, s>) => int
Measures the size of a contract.
let from_file: <p, s>(_: string) => michelson_contract<p, s>
Reads a contract from a `.mv` file.