blob: 98b8e60b618831c8c2484b9f77bcc12e0ce17c51 (
plain) (
tree)
|
|
type t
val of_alist : (string * string) list -> t
(** attributes in name order. *)
val attributes : t -> (string * string) BatFingerTree.t
val names : t -> string BatSet.t
val arity : t -> int
val mem : string -> t -> bool
module Error : sig
val unknown_attribute : string -> Condition.condition
val incompatible_domain : string -> Condition.condition
end
val domain_of : string -> t -> (string, Condition.condition) result
val project : string BatFingerTree.t -> t -> (t, Condition.condition) result
val rename : (string * string) BatFingerTree.t -> t -> (t, Condition.condition) result
val shared : t -> t -> string BatSet.t
val joined : t -> t -> (t, Condition.condition) result
val compatible : t -> t -> bool
module Representation : Encoding.Record.S with type t = t
|
