let out_type = out_option ~default:"cnf" ()