-- automatically derived

localVarNames :: LocalDef e -> [String]
localVarNames (Def nm _ _ _) = [nm]
localVarNames :: LocalDef e -> [String]
localVarNames (Def nm _ _ _) = [nm]
localVarNames (Def nm _ _ _) = [nm]