Module Flambda2_nominal.Bindable
The signature of "name-like things" that may occur in binding position inside Name_abstraction constructs.
module type S = sig ... endFlambda2_nominal.BindableThe signature of "name-like things" that may occur in binding position inside Name_abstraction constructs.
module type S = sig ... end