FunSort (reference) in projects: dports

Home

Sort by last modified time | relevance | path

Searched refs:FunSort (Results 26 – 28 of 28) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Termination/
H A D	TermCheck.hs	`693 FunSort s1 s2 -> extract (s1, s2)`
/dports/math/boolector/boolector-3.2.2/src/api/python/
H A D	pyboolector.pyx	1453 :func:`~pyboolector.Boolector.FunSort`. 2934 def FunSort(self, list domain, BoolectorSort codomain): member in Boolector 2935 """ FunSort(domain, codomain)
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/
H A D	InternalToAbstract.hs	`1392 I.FunSort s1 s2 -> do`

Last Index Update: Tue Jun 18 03:00:03 GMT 2024