Environment🍃 Variant.v🍃 Variant.vEnvironmentGitlab (* TODO: remove this file once this definition is in [coq-of-ocaml]'s ones. *) Require Import Coq.Strings.String. Polymorphic variants. Inductive t : Set := | Build : string → ∀ (A : Set), A → t.