Module `BCHBCFiles`

val bcfiles : BCHBCTypes.bcfiles_int