Module Biabduction.Paths

module Path : sig ... end
module PathSet : sig ... end

Set of (prop,path) pairs, where the identity is given by prop