module arch.system.types.resource_logic_proof;

import prelude open;

type ResourceLogicProof :=
  mkResourceLogicProof@{-- instance : ResourceLogicProofInstance;
  -- witness : ResourceLogicProofWitness;
  -- constraints : ResourceLogicProofConstraints;
  };