view demo/more/bulkEdit.urs @ 1268:236dc296c32d

Include new config.h in C source files
author Adam Chlipala <adamc@hcoop.net>
date Sun, 30 May 2010 10:39:25 -0400
parents c6e948ec79e9
children
line wrap: on
line source
functor Make(M : sig
                 con keyName :: Name
                 con keyType :: Type
                 val showKey : show keyType
                 val readKey : read keyType
                 val injKey : sql_injectable keyType

                 con visible :: {(Type * Type)}
                 constraint [keyName] ~ visible
                 val folder : folder visible
                 val visible : $(map Meta.meta visible)

                 con invisible :: {Type}
                 constraint [keyName] ~ invisible
                 constraint visible ~ invisible

                 val title : string
                 val isAllowed : transaction bool
                 table t : ([keyName = keyType] ++ map fst visible ++ invisible)
             end) : sig

    val main : unit -> transaction page

end