package universo

  1. Overview
  2. Docs

Parameters

Signature

val mk_axiom : ('c, 'b) k -> 'c -> 'b -> 'b -> 'b
val mk_rule : ('c, 'b) k -> 'c -> 'b -> 'b -> 'b -> 'b
val mk_cumul : ('c, 'b) k -> 'c -> 'b -> 'b -> 'b
OCaml

Innovation. Community. Security.