Function Acos_Dfa-To-Cdfa

Part of:

package lisplab
( acos_dfa-to-cdfa < g482 > < g483 > )