Up – mavkit-libs » Plompiler » Lib » Enum

Module `Lib.Enum`

Parameters
Signature

Parameters

module N : sig ... end

Signature

val switch_case : Num.scalar Num.repr -> 'a list repr -> 'b Bool.repr t