CristalCaveGem » LustreC

	(* Thanks to normalization, vl shall only contain constant or

	   local/state vars but not calls to other functions *)

	fprintf fmt "\"kind\": \"operator\",@ ";

	fprintf fmt "\"name\": \"%s\",@ \"args\": [@[%a@]]"

	  fun_id

	  pp_emf_cst_or_var_list vl

      | LocalVar _

      | StateVar _ -> (

	fprintf fmt "\"kind\": \"local_assign\",@ \"lhs\": \"%a\",@ \"rhs\": %a"

	  pp_emf_cst_or_var expr

      ))    )

			       variable or a constant, no function anymore! *)

    -> (

      fprintf fmt "\"kind\": \"pre\",@ \"lhs\": \"%a\",@ \"rhs\": %a"

	pp_emf_cst_or_var expr

    )

      print_protect (fun fmt -> pp_print_string fmt (node_f.node_id)) 

      f;

    fprintf fmt "\"lhs\": [@[%a@]],@ \"args\": [@[%a@]]"

      pp_emf_cst_or_var_list inputs;

    if is_stateful then fprintf fmt ",@ \"reset\": \"%s\"" (reset_name f) else fprintf fmt "@ "

  )