Project

General

Profile

« Previous | Next » 

Revision f6fa97f9

Added by Xavier Thirioux over 7 years ago

clean handling of undefined node application

View differences:

src/basic_library.ml
115 115

  
116 116
let internal_funs = ["+";"-";"*";"/";"mod";"&&";"||";"xor";"impl";"<";">";"<=";">=";"!=";"=";"uminus";"not"]
117 117

  
118
let homomorphic_funs = ["+";"-";"*";"/";"mod";"&&";"||";"xor";"impl";"uminus";"not"]
119

  
118 120
let is_internal_fun x =
119 121
  List.mem x internal_funs
120 122

  

Also available in: Unified diff