CristalCaveGem » LustreC

let pp_bool_cast pp fmt x = pp_cast pp_print_string pp fmt ("_Bool", x)

let pp_true_c_bool fmt () = pp_bool_cast pp_print_string fmt "1"

let pp_false fmt () = pp_print_string fmt "\\false"

  let pp_expr ?(test_output = false) m mem fmt = function

    | Val v ->

      let pp = pp_c_val m mem (pp_c_var_read ~test_output m) in

    | Tag t ->

      pp_print_string fmt t

    | Var v ->

  val get_static_value : t -> Dimension.t option

  val is_tuple_type : t -> bool

  val type_of_type_list : t list -> t

    let ty = repr ty in

    match ty.tdesc with Tstatic (_, ty') -> ty' | _ -> ty

  let is_tuple_type ty =

    match (repr ty).tdesc with Ttuple _ -> true | _ -> false

  val get_static_value : t -> Dimension.t option

  val is_tuple_type : t -> bool

  val type_of_type_list : t list -> t

        let touts = type_appl env in_main expr.expr_loc const id args_list in

        let targs =

          new_ty

        in

        args.expr_type <- Expr_type_hub.export targs;

        expr.expr_type <- Expr_type_hub.export touts;