Esempi in Java per Variable.isUserTyped

Esempio n. 1

File: CoqLabelUnparser.java Progetto: kszr/k

 @Override
 public Void visit(Variable v, Void _) {
     builder.append(v.getName());
     if (v.isUserTyped()) {
         builder.append(':');
         builder.append(v.getSort());
     }
     return null;
 }