universo.common
Oracle.Util
universo.api
universo.checking
universo.elaboration
universo.solving
val cartesian2 : ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list
val cartesian3 : ('a -> 'b -> 'c -> 'd) -> 'a list -> 'b list -> 'c list -> 'd list