jasmin.jasmin
Jasmin.Specif
jasmin.linter
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
type 'a coq_sig = 'a
type ('a, 'p) sigT =
| Coq_existT of 'a * 'p
val projT1 : ('a1, 'a2) sigT -> 'a1
val projT2 : ('a1, 'a2) sigT -> 'a2