package bastet

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Verify.Join_Semilattice

Parameters

Signature

include sig ... end
val associativity : J.t -> J.t -> J.t -> bool
val commutativity : J.t -> J.t -> bool
val idempotency : J.t -> bool
OCaml

Innovation. Community. Security.