Up – Package index » logtk » Library logtk.solving » Logtk_solving » Lpo

Module `Logtk_solving.Lpo`

Constraint Solving for LPO

module Constraint : sig ... end

module Solution : sig ... end

val solve_multiple : Constraint.t list -> Solution.t Logtk.LazyList.t

A lazy list of partial orders over symbols, that satisfy the given list of constraints

module FO : sig ... end

module TypedSTerm : sig ... end