fix
Indexing.Opt
Opt adds one element to a set.
Opt
bit_lib
front
kernel
lrgrep.internal
lrgrep.interpreter
lrgrep.runtime
lrijkstra_utils
support
syntax
utils
valmari
type 'n n
val none : 'n n index
val some : 'n index -> 'n n index
val is_none : 'n n index -> bool
val prj : 'n n index -> 'n index option
val cardinal : 'n cardinal -> 'n n cardinal