package links

  1. Overview
  2. Docs
val option : 'self_type -> ('self_type -> 'a -> 'self_type * 'a * Types.datatype) -> 'a option -> 'self_type * 'a option * Types.datatype option
val optionu : 'self_type -> ('self_type -> 'a -> 'self_type * 'a) -> 'a option -> 'self_type * 'a option
val list : 'self_type -> ('self_type -> 'a -> 'self_type * 'a * Types.datatype) -> 'a list -> 'self_type * 'a list * Types.datatype list
val listu : 'self_type -> ('self_type -> 'a -> 'self_type * 'a) -> 'a list -> 'self_type * 'a list
class transform : Types.typing_environment -> object ... end
val fun_effects : Types.datatype -> Sugartypes.Pattern.with_pos list list -> Types.row
OCaml

Innovation. Community. Security.