definition module DynamicUtilities import StdEnv FromStringToInt :: !{#Char} !Int -> !Int WriteLong :: !*{#Char} !Int !Int -> !*{#Char} NF :: !.a -> .a ends :: !String !String -> !Bool;