JavaTXCompilerInJavaTX/resources/syntaxtreegenerator/Faculty.ast

class Faculty {

  TPH DDAL fact;
Faculty(){
    super(());
  }
  TPH DDBK getFact(java.lang.Integer x){
    return this.fact.apply Signature: [TPH DDBM, TPH DDBN](x);
  }

  Faculty(){
    super(());
    this.fact = (TPH DDAO x) -> {
      if(x op 1)
        {
          return 1;
        }
      else
        {
          return x op this.fact.apply Signature: [TPH DDAW, TPH DDAX](x op 1);
        };
    };
  }

}