Project

General

Profile

Revision 53206908 src/splitting.ml

View differences:

src/splitting.ml
21 21
  | Expr_ident _ -> [expr]
22 22
  | Expr_tuple elist -> elist
23 23
  | Expr_appl (id, args, r) ->
24
    if Basic_library.is_internal_fun id
24
    if Basic_library.is_homomorphic_fun id 
25 25
    then
26 26
      let args_list = List.map tuple_split_expr (expr_list_of_expr args) in
27 27
      List.map

Also available in: Unified diff