package logical

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val equal : Type.t -> Type.t -> Type.goal

val either : Type.goal -> Type.goal -> Type.goal

val either_multi : Type.goal list -> Type.goal

val both : Type.goal -> Type.goal -> Type.goal

val both_multi : Type.goal list -> Type.goal

val in_set : 
  Type.t ->
  (Type.t, Type.comparator_witness) Base.Set.t ->
  Type.goal