| definition: |  
colValAlt :: String -> String -> SQLValue -> ColVal
colValAlt table cl s =
     ColVal (toCColumn
            (Column ("\"" ++ cl ++ "\"")
                    ("\"" ++ table ++ "\".\"" ++ "\"" ++ cl ++ "\"")))
            (Val s) | 
| demand: | no demanded arguments | 
| deterministic: | deterministic operation | 
| documentation: | Alternative ColVal constructor without typesafety @param table - The Tablename of the column @param cl - The column name @param s - The SQLValue | 
| failfree: | (_, _, _) | 
| indeterministic: | referentially transparent operation | 
| infix: | no fixity defined | 
| iotype: |  {(_,_,_) |-> {ColVal}} | 
| name: | colValAlt | 
| precedence: | no precedence defined | 
| result-values: |  {ColVal} | 
| signature: | String -> String -> Database.CDBI.Connection.SQLValue -> ColVal | 
| solution-complete: | operationally complete operation | 
| terminating: | yes | 
| totally-defined: | reducible on all ground data terms |