Example.Impure1 (credo_pure_check v0.2.4)

Summary

Functions

f1()

Functions

Link to this function

f1()