Yalo_test_CAMELOTmodule Main : sig ... endmodule Test_CAMELOT_10_eq_option : sig ... endmodule Test_CAMELOT_11_eq_bool : sig ... endmodule Test_CAMELOT_12_eq_physical : sig ... endmodule Test_CAMELOT_13_neq_physical : sig ... endmodule Test_CAMELOT_14_lit_pretend : sig ... endmodule Test_CAMELOT_15_tuple_proj : sig ... endmodule Test_CAMELOT_16_if_returns_lit : sig ... endmodule Test_CAMELOT_17_if_cond_then_cond : sig ... endmodule Test_CAMELOT_18_if_not_cond : sig ... endmodule Test_CAMELOT_19_if_to_or : sig ... endmodule Test_CAMELOT_1_use_map : sig ... endmodule Test_CAMELOT_20_if_to_and : sig ... endmodule Test_CAMELOT_21_if_to_and_inv : sig ... endmodule Test_CAMELOT_22_if_to_or_inv : sig ... endmodule Test_CAMELOT_23_nested_if : sig ... endmodule Test_CAMELOT_24_nested_match : sig ... endmodule Test_CAMELOT_25_redundant_or : sig ... endmodule Test_CAMELOT_26_redundant_and : sig ... endmodule Test_CAMELOT_2_use_fold : sig ... endmodule Test_CAMELOT_3_use_iter : sig ... endmodule Test_CAMELOT_4_match_bool : sig ... endmodule Test_CAMELOT_5_match_int : sig ... endmodule Test_CAMELOT_6_match_list_verbose : sig ... endmodule Test_CAMELOT_7_match_record : sig ... endmodule Test_CAMELOT_8_match_tuple : sig ... endmodule Test_CAMELOT_9_eq_list : sig ... endmodule Version : sig ... end