public String returnTypeSignature(final WMethodDeclaration m) {
   String _xblockexpression = null;
   {
     final Result<WollokType> rType = this.system.queryTypeFor(this.env, m);
     String _xifexpression = null;
     boolean _or = false;
     boolean _failed = rType.failed();
     if (_failed) {
       _or = true;
     } else {
       WollokType _first = rType.getFirst();
       boolean _equals = Objects.equal(_first, WollokType.WVoid);
       _or = _equals;
     }
     if (_or) {
       _xifexpression = "";
     } else {
       WollokType _first_1 = rType.getFirst();
       _xifexpression = (" : " + _first_1);
     }
     _xblockexpression = _xifexpression;
   }
   return _xblockexpression;
 }
 public WollokType type(final WParameter p) {
   Result<WollokType> _queryTypeFor = this.system.queryTypeFor(this.env, p);
   return _queryTypeFor.getFirst();
 }