Example.Pure3.SubModule1 (credo_pure_check v0.2.3)

Summary

Functions