To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type Enumerated = sig ... endmodule type Enumerable = sig ... endReplaces @@deriving enum interface from ppx_deriving, that treats variants with argument-less constructors as enumerations with an integer value assigned to every constructor.
module type Substitution = sig ... endmodule Make (A : Enumerated) : Enumerable with type t := A.tmodule Make_substitute (S : Substitution) : Enumerable with type t := S.t