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