1 2 3
# Float domain descriptor This recipe records the generic float domain and finite literal vocabulary.