Project

General

Profile

Revision 719f9992 src/basic_library.ml

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