package electrod

  1. Overview
  2. Docs

A symmetry specifies an order over instantiated relations.

type t
val make : (Name.t * Tuple.t) list -> (Name.t * Tuple.t) list -> t
val fold : ((Name.t * Tuple.t) -> (Name.t * Tuple.t) -> 'a -> 'a) -> t -> 'a -> 'a
val rename : (Atom.t, Atom.t) CCList.Assoc.t -> (Name.t * Name.t) list -> t -> t