[docs :: basics/simple_exampe] Remove functype usage
[docs :: basics/simple_exampe] Remove functype usage

egonSchiele/contracts.ruby,smt116/contracts.ruby,egonSchiele/contracts.ruby,smt116/contracts.ruby