view tests/subs_str.urs @ 1572:5530a8075b62

IF THEN ELSE conditional for SQL.
author Karn Kallio <kkallio@eka>
date Fri, 14 Oct 2011 02:33:03 -0430
parents 71bafe66dbe1
children
line wrap: on
line source
structure M : sig
        type t
end

val x : M.t