wolflo

pub struct Z;
pub struct S<Z>(std::marker::PhantomData<Z>);

pub trait Succ { type Pred; }

pub struct Type0; pub struct Type1; pub struct Type2; pub struct Type3;
impl Succ for Type0 { type Pred = Type1; }
impl Succ for Type1 { type Pred = Type2; }

pub auto trait NotNat {}

wolflo

pragma solidity 0.6.9;
pragma experimental ABIEncoderV2;

import "./SafeMath.sol";
import "./interfaces/IERC20.sol";
import "./interfaces/IMoloch.sol";

contract Vester {

    address public constant MOLOCH_GUILD_ADDR = address(0xdead);

wolflo

pragma solidity 0.5.12;

import "./Moloch.sol";

contract MolochActor {

    uint256 public nonce;
    Moloch public moloch;

    event Action(

wolflo

pragma solidity 0.5.12;

import "./Moloch.sol";

contract MolochActor {

    bytes4 public constant ACTOR_MAGIC_BYTES = bytes4(keccak256("MolochActor"));

    uint256 public nonce;
    Moloch public moloch;

wolflo

An attempt to add to __codesize in a Huff macro

template <const>
#define macro FOO = takes(0) returns(1) {
    <const>
}

#define macro BAR = takes(0) returns(1) {
    0x01