package lua-ml

  1. Overview
  2. Docs
package lua-ml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'a, !'b, !'c) ep = {
  1. embed : 'a -> 'b;
  2. project : 'b -> 'a;
  3. is : 'c -> bool;
}
type (!'a, !'b, !'c) synonym_for_ep = ('a, 'b, 'c) ep = {
  1. embed : 'a -> 'b;
  2. project : 'b -> 'a;
  3. is : 'c -> bool;
}
module type S = sig ... end
module type USERDATA = sig ... end
module Make (U : USERDATA) : sig ... end