package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type EQ_F = functor (Ok : Interface.TYPE) -> functor (Error : Interface.TYPE) -> Interface.EQ with type t = (Ok.t, Error.t) result
module type ORD_F = functor (Ok : Interface.TYPE) -> functor (Error : Interface.TYPE) -> Interface.ORD with type t = (Ok.t, Error.t) result
module Lattice (Ok : Interface.LATTICE) (Error : Interface.LATTICE) : sig ... end