let func: <a, b>(_: a) => (_: (_: a) => b) => list<[b, mutation]>
Given a value to mutate (first argument), it will try all the mutations of it, passing each one to the function (second argument). In case no failure arises when running the function on a mutation, the failure and mutation involved will be added to the list to be returned.
let from_file: <b, p, s>(_: string) => (_: s) => (_: mav) => (_: (_: [typed_address<p, s>, michelson_contract<p, s>, int]) => b) => list< [b, mutation] >
Given a contract from a file (passed by filepath, entrypoint and views), an initial storage and balance, it will originate mutants of the contract and pass the result to the function (last argument). In case no failure arises when running the function on a mutation, the failure and mutation involved will be added to the list to be returned.
let contract: <p, s, b>(_: module_contract<p, s>) => (_: s) => (_: mav) => ( _: (_: typed_address<p, s>) => (_: michelson_contract<p, s>) => (_: int) => b ) => list<[b, mutation]>
Given a contract as a module/namespace, an initial storage and balance, it will originate mutants of the contract and pass the result to the function (last argument). In case no failure arises when running the function on a mutation, the failure and mutation involved will be added to the list to be returned.