tiny.machine.Profile

1/// One execution contract, the backend chosen to run it, and the determinism claims2/// that pairing makes define a profile. A caller hands one of these to an instance,3/// a checkpoint, or a world so that code knows the rules.4pub const Profile = struct {5    contract: Contract,6    backend: BackendSemantics,7    claims: determinism.Claims,8};

1pub const Profile = profile.Profile;