module FreeRight: functor (R : Ring.T) -> functor (X : Alphabet.T) -> sig .. end
functor (
R
:
Ring.T
) ->
X
Alphabet.T
sig
end
include struct ... end
val cinj : X.t -> Ring.Op(R).t -> t
X.t -> Ring.Op(R).t -> t
val cmul : t -> Ring.Op(R).t -> t
t -> Ring.Op(R).t -> t
val to_string : t -> string
t -> string