_interface_ TysPrim 1
_exports_
TysPrim voidTy;
_declarations_
1 voidTy _:_ Type.Type ;;