package logical

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.