Declare ML Module "struct".
Declare ML Module "sort_tac".
Declare ML Module "hS".
Declare ML Module "hS_tac".