dune « lib « calculette_aoo - blog_scripts.git - Applications du blog

about summary refs log tree commit diff

path: root/calculette_aoo/lib/dune

blob: 176147cfc2506172066588fcc20f49705effae79 (plain)

(library
 (name aoo)
 (libraries zarith)
 )

ertical of int | Cell of (int * int) (** Create a new selection from a cell *) val create: (int * int) -> t val is_selected: axe -> t -> bool (** Get the selection origin *) val extract: t -> (int * int) val shift: t -> (int * int) -> (int * int) val fold: ('a -> int * int -> 'a) -> 'a -> t -> 'a val extends: Actions.direction -> t -> t