Up – Package index » electrod » Library electrod.libelectrod » Libelectrod » Symmetry

Module `Libelectrod.Symmetry`Source

A symmetry specifies an order over instantiated relations.

Sourcetype t

Sourceval 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