Flags.finite_domain_functionality

let finite_domain_functionality (flags: flags) = get_flag_bool flags.flags FL_FDFunctionality