1structure holCheckLib :> holCheckLib =
2
3struct
4
5    open ksTools
6    open holCheck
7    open modelTools
8
9    val mk_state = ksTools.mk_state
10    val holCheck = holCheck.holCheck
11
12end