Parameter Make.3-S
type 'a m
= 'a Repr.m
type pos
The type of (one-dimensional) positions in a shape.
val pos_equal : 'a t -> 'a m -> 'a m -> bool m
pos_equal s p p'
is true iffp
andp'
are equal positions in the shapes
.
module type Storage = Basic_structures.Basic_intf.Lang.Storage with type 'a m = 'a m
First-class mutable storage.
module Morphism : sig ... end
Shape morphisms, described as a category.