Up
–
Index
»
beluga
»
Synext
»
Make_precedences
» Lf_precedence
Module
Make_precedences.Lf_precedence
type
precedence
module
Ord
:
Support.Ord.ORD
with
type
t
=
precedence