product.urs

con colMeta = fn t :: Type =>
                 {Nam : string,
                  Show : t -> xbody}
con colsMeta = fn cols :: {Type} => $(map colMeta cols)

val prodName : string -> colMeta string
val prodDesc : string -> colMeta string
val prodPrice : string -> colMeta float
val prodStock : string -> colMeta int
val prodAttr : string -> colMeta string

functor Make(M : sig
                 con cols :: {Type}
                 constraint [Id] ~ cols
                 val fl : folder cols

                 table tab : ([Id = int] ++ cols)

                 val cols : colsMeta cols

				 cookie cartCookie : list int

				 val formatting : {Head : string -> page, BodyStart : string -> xbody, BodyEnd : unit -> xbody}

				 val display_container : css_class
             end) : sig
    val displayProd : int -> bool -> transaction xbody 
    val displayProds : unit -> transaction page
    val cart : unit -> transaction page
	val cartAdd : int -> transaction page


end