Function Asinh_Dfa-To-Dfa

Part of:

package lisplab
( asinh_dfa-to-dfa < g251 > < g252 > )