catala 0.8.0 · OCaml Package

val o_not : bool -> bool

val o_length : 'a array -> integer

val o_torat_int : integer -> decimal

val o_torat_mon : money -> decimal

val o_tomoney_rat : decimal -> money

val o_getDay : date -> integer

val o_getMonth : date -> integer

val o_getYear : date -> integer

val o_firstDayOfMonth : date -> date

val o_lastDayOfMonth : date -> date

val o_round_mon : money -> money

val o_round_rat : decimal -> decimal

val o_minus_int : integer -> integer

val o_minus_rat : decimal -> decimal

val o_minus_mon : money -> money

val o_minus_dur : duration -> duration

val o_and : bool -> bool -> bool

val o_or : bool -> bool -> bool

val o_xor : bool -> bool -> bool

val o_eq : 'a -> 'a -> bool

val o_map : ('a -> 'b) -> 'a array -> 'b array

val o_reduce : ('a -> 'a -> 'a) -> 'a -> 'a array -> 'a

val o_concat : 'a array -> 'a array -> 'a array

val o_filter : ('a -> bool) -> 'a array -> 'a array

val o_add_int_int : integer -> integer -> integer

val o_add_rat_rat : decimal -> decimal -> decimal

val o_add_mon_mon : money -> money -> money

val o_add_dat_dur : date -> duration -> date

val o_add_dur_dur : duration -> duration -> duration

val o_sub_int_int : integer -> integer -> integer

val o_sub_rat_rat : decimal -> decimal -> decimal

val o_sub_mon_mon : money -> money -> money

val o_sub_dat_dat : date -> date -> duration

val o_sub_dat_dur : date -> duration -> date

val o_sub_dur_dur : duration -> duration -> duration

val o_mult_int_int : integer -> integer -> integer

val o_mult_rat_rat : decimal -> decimal -> decimal

val o_mult_mon_rat : money -> decimal -> money

val o_mult_dur_int : duration -> integer -> duration

val o_div_int_int : integer -> integer -> decimal

val o_div_rat_rat : decimal -> decimal -> decimal

val o_div_mon_mon : money -> money -> decimal

val o_div_mon_rat : money -> decimal -> money

val o_div_dur_dur : duration -> duration -> decimal

val o_lt_int_int : integer -> integer -> bool

val o_lt_rat_rat : decimal -> decimal -> bool

val o_lt_mon_mon : money -> money -> bool

val o_lt_dur_dur : duration -> duration -> bool

val o_lt_dat_dat : date -> date -> bool

val o_lte_int_int : integer -> integer -> bool

val o_lte_rat_rat : decimal -> decimal -> bool

val o_lte_mon_mon : money -> money -> bool

val o_lte_dur_dur : duration -> duration -> bool

val o_lte_dat_dat : date -> date -> bool

val o_gt_int_int : integer -> integer -> bool

val o_gt_rat_rat : decimal -> decimal -> bool

val o_gt_mon_mon : money -> money -> bool

val o_gt_dur_dur : duration -> duration -> bool

val o_gt_dat_dat : date -> date -> bool

val o_gte_int_int : integer -> integer -> bool

val o_gte_rat_rat : decimal -> decimal -> bool

val o_gte_mon_mon : money -> money -> bool

val o_gte_dur_dur : duration -> duration -> bool

val o_gte_dat_dat : date -> date -> bool

val o_eq_int_int : integer -> integer -> bool

val o_eq_rat_rat : decimal -> decimal -> bool

val o_eq_mon_mon : money -> money -> bool

val o_eq_dur_dur : duration -> duration -> bool

val o_eq_dat_dat : date -> date -> bool

val o_fold : ('a -> 'b -> 'a) -> 'a -> 'b array -> 'a

package catala