module Make: functor (P : sig val presentation : tend) -> sig .. end
functor (
P
:
sig
val presentation : t
t
end) -> sig .. end
end
) ->
sig val presentation : t end
type t = X.t
X.t
val to_string : X.t -> string
X.t -> string
val dim : X.t -> int
X.t -> int
val src : X.t -> X.t
X.t -> X.t
val tgt : X.t -> X.t