Commits

Anonymous committed aeebb19

Partapp: in cadastr

  • Participants
  • Parent commits 710cc86

Comments (0)

Files changed (2)

File src/partapp.ml

-type partapp 'a 'b = 'a -> 'b;
-external make : ('a -> 'b) -> partapp 'a 'b = "%identity";
-value apply f x = f x;

File src/partapp.mli

-type partapp 'a 'b = private ('a -> 'b);
-value make : ('a -> 'b) -> partapp 'a 'b;
-value apply : partapp 'a 'b -> 'a -> 'b;