Currently there is no documentation for ProposalExecuteInterface.sol (https://github.com/daostack/infra/blob/master/contracts/votingMachines/ProposalExecuteInterface.sol) which is used in multiple arc contracts.