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 Hlist : sig ... endA set of right-nested tuples and associated types used to represent the fields of a record while rebuilding it.
module type Partial_applicative_S = sig ... endmodule type Partial_applicative_S2 = sig ... endmodule type S = sig ... endmodule type S2 = sig ... endmodule Make (F : Partial_applicative_S) : S with type 'a applicative = 'a F.tmodule Make_2
(F : Partial_applicative_S2) :
S2 with type ('a, 'e) applicative = ('a, 'e) F.t