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

dune-project

Dependency

sha256=dd47a6d755dc80a9a75fa21bda7a6507316ca2a33f7201d25ee9ba01d902a6a2

sha512=abc8bb1194df32bfe3c00f499dd989868c9ad208c8c7401085b9c18e87890eae1c087dbbb9bf128f95f4e759de27e1d7a6d6b2f7a5e6a9b000b469d72c77b87a

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