module type Substituable = sig .. end
sig
end
type variable
type term
type substituable
val substitute : substituable -> var:variable -> by:term -> substituable
substituable -> var:variable -> by:term -> substituable
var
by