package electrod

You can search for identifiers within the package.

in-package search v0.2.0

Formal analysis for the Electrod formal pivot language

Install

sha256=c58502de17f5b8d739963b5b5d7c761883305bc2b6464fc37769aae4bb31a28c

sha512=bc15032cbda06b0eb64d55cc7800d6c992c0823bb86609ddc5e56744fd0c76ea25b4f4ad7cafdee6fcaa2f109e48ca99f4270919f9a2ea4c7bf53f30b0ee3677

Sourcetype t

Sourceval make : Domain.t -> Name.t -> Tuple.t -> t

Sourceval compare : t -> t -> int

Sourceval compare_string : t -> t -> int

compare atoms as strings

Sourceval equal : t -> t -> bool

Sourceval hash : t -> int

Sourceval domain_arity : t -> int option

None if non-enumerable; otw Some ar with ar >= 0

Sourceval is_const : t -> bool

Says whether the atomic proposition corresponds to a const or var relation

Sourceval is_partial : t -> bool

Sourceval split_string : string -> (Name.t * Tuple.t) option

split_string s returns the name and tuple that produced this string, None in case no such pair has arrived

Sourceval split : t -> (Name.t * Tuple.t) option

Sourceval pp : t Fmtc.t