1. Dmitry Grebeniuk
  2. cadastr

Commits

Dmitry Grebeniuk  committed 5c92cae

+ Partapp3 (copypaste too)

  • Participants
  • Parent commits 49f1c41
  • Branches default

Comments (0)

Files changed (1)

File src/cd_All.ml

View file
 module Option = Cd_Option.Option;
 module Partapp = Cd_Partapp.Partapp;
 module Partapp2 = Cd_Partapp.Partapp2;
+module Partapp3 = Cd_Partapp.Partapp3;
 module SortedArray = Cd_SortedArray;
 module SortedArraySet = Cd_SortedArraySet.SortedArraySet;
 module Exn = Cd_Exn.Exn;