package sibylfs-lem

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val instance_Basic_classes_Eq_Maybe_maybe_dict : 
  'a Lem_basic_classes.eq_class ->
  'a option Lem_basic_classes.eq_class

val maybeCompare : ('a -> 'b -> int) -> 'a option -> 'b option -> int

val instance_Basic_classes_SetType_Maybe_maybe_dict : 
  'a Lem_basic_classes.setType_class ->
  'a option Lem_basic_classes.setType_class