blob: 6593af1b69c4b168bee99d75db3d7627779a1913 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
functor Make(M : sig
con keyName :: Name
con keyType :: Type
val showKey : show 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
|