Declare ML Module "struct".
Declare ML Module "sort_tac".
Declare ML Module "aC".
Declare ML Module "aC_tac".