jasmin.jasmin
Utils0.FinMap
jasmin.linter
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
type ('t, 'u) map = 'u Finfun.finfun_of
val of_fun : 'a1 finTypeC -> (Fintype.Finite.sort -> 'a2) -> 'a2 Finfun.finfun_of
val set : 'a1 finTypeC -> ('a1, 'a2) map -> 'a1 -> 'a2 -> ('a1, 'a2) map