src → small-steps Relation

File in srcIncludes file in src/small-steps
small-steps.ccfunctors.hh