Documentation

type Value = Value' Instr Source #

type Operation = Operation' Instr Source #

type ContractCode cp st = ContractCode' Instr cp st Source #

type Contract = Contract' Instr Source #

type ViewCode arg st ret = ViewCode' Instr arg st ret Source #

type View = View' Instr Source #

type SomeView = SomeView' Instr Source #

type ViewsSet = ViewsSet' Instr Source #

type SomeViewsSet = SomeViewsSet' Instr Source #