Library zoo_std.domain__code

Require Import zoo.prelude.
Require Import zoo.language.typeclasses.
Require Import zoo.language.notations.
Require Import zoo.options.

Parameter domain٠yield : val.

Parameter domain٠self_index : val.

Parameter domain٠recommended_domain_count : val.