blob: 9a98a13c63967f121a1d73d15e83a9a96faaa345 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
module type SCHEMA = sig
type t
type attribute
val attributes : t -> (string * attribute) BatFingerTree.t
val project : t -> string BatFingerTree.t -> (t, Concepts.Condition.condition) result
val rename : t -> (string * string) BatFingerTree.t -> (t, Concepts.Condition.condition) result
val merge : t -> t -> (t, Concepts.Condition.condition) result
end
|
