Gist.Func
Functions for gist processors.
type ('a, 'b) t
The type for representing function types from type 'a to 'b.
'a
'b
val make : domain:'a gist -> range:'b gist -> ('a, 'b) t
make ~domain ~range is a function type from domain to range.
make ~domain ~range
domain
range
val domain : ('a, 'b) t -> 'a gist
domain f is representation of the domain of f.
domain f
f
val range : ('a, 'b) t -> 'b gist
range f is representation of the range of f.
range f