package universo

  1. Overview
  2. Docs
val mk_axiom : ('c, 'b) Common.Logic.k -> 'c -> 'b -> 'b -> 'b
val mk_rule : ('c, 'b) Common.Logic.k -> 'c -> 'b -> 'b -> 'b -> 'b
val mk_cumul : ('c, 'b) Common.Logic.k -> 'c -> 'b -> 'b -> 'b
OCaml

Innovation. Community. Security.