Module LibCircuit.Enum

Enumerations, represented as a list of cases.

Parameters

module N : sig ... end

Signature

val switch_case : scalar repr -> 'a list repr -> 'a repr t

switch_case k l returns the k-th element of the list l if k ∈ [0,n) or the first element of l otherwise.