Searched refs:Info_Auto (Results 1 – 4 of 4) sorted by relevance
99 | Info_Auto String constructor
276 encodeTCM (Info_Auto info) = kind "Auto"
127 Info_Auto s -> format s "*Auto*"
700 Just msg -> display_info $ Info_Auto msg704 Just msg -> display_info $ Info_Auto msg