Module Logic.MakeLraSpecifSource

Parameters

Signature

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