Module Sketch

type pos = float * float
type item =
  1. | Line of int * int
  2. | Circle of int * int
type constr =
  1. | Horizontal of int
  2. | Vertical of int
  3. | Parallel of int * int
  4. | Perpendicular of int * int
  5. | Equal of int * int
  6. | On_line of int * int
  7. | On_circle of int * int
type instance = {
  1. master : int;
  2. at : pos;
  3. size : float;
  4. angle : float;
}
type sheet = {
  1. points : (int * pos) list;
  2. fixed : int list;
  3. items : (int * item) list;
  4. constraints : constr list;
  5. instances : instance list;
  6. next : int;
}
val empty : sheet
val add_point : pos -> sheet -> sheet * int
val add_item : item -> sheet -> sheet * int
val constrain : constr -> sheet -> sheet
val pos : sheet -> int -> pos
val set_pos : int -> pos -> sheet -> sheet
val toggle_fixed : int -> sheet -> sheet
val ends : sheet -> int -> (int * int) option
val points_of : sheet -> constr -> int list
val merge : drop:int -> onto:int -> sheet -> sheet
val delete : int -> sheet -> sheet
type t = sheet list
val sheet : t -> int -> sheet
val set_sheet : int -> sheet -> t -> t
val uses : t -> int -> int -> bool
val place : int -> instance -> t -> t option
type stroke =
  1. | Seg of pos * pos
  2. | Round of pos * float
val transform : instance -> pos -> pos
val instance_strokes : t -> instance -> stroke list
val strokes : t -> int -> stroke list
type aim =
  1. | Nothing
  2. | At_point of int
  3. | On_item of int * pos
  4. | At_instance of int
val aim : t -> int -> tolerance:float -> ?except:int -> pos -> aim
val to_segment : pos -> pos -> pos -> float