Module DrawingSource

Sourcetype id = int
Sourcetype t
Sourceval empty : t
Sourceval add : Figure.t -> t -> t * id
Sourceval figures : t -> (id * Figure.t) list
Sourceval get : t -> id -> Figure.t option
Sourceval at : tolerance:float -> t -> Figure.point -> id option
Sourceval within : t -> Figure.box -> id list
Sourceval update : id -> (Figure.t -> Figure.t) -> t -> t
Sourceval move : id list -> float -> float -> t -> t
Sourceval delete : id list -> t -> t
Sourceval to_front : id list -> t -> t
Sourceval to_back : id list -> t -> t
Sourceval group : id list -> t -> t * id option
Sourceval ungroup : id -> t -> t * id list
Sourceval duplicate : id list -> t -> t * id list
Sourcetype side =
  1. | Lefts
  2. | Rights
  3. | Tops
  4. | Bottoms
  5. | Centers
Sourceval align : side -> id list -> t -> t
Sourceval bounds : t -> id list -> Figure.box option