Module run_proper Module run_proper Description Function Index Function Details escript wrapper for Quviq QuickCheck. Function Index main/1 Function Details main/1 main(S) -> any()