signature holCheck =
sig

val holCheck : modelTools.model -> modelTools.model

end