Module Process.Prim

type ('a, 'b) t = ('a, 'b) Prim.t

Description of a primitive

module Args : sig ... end
val sexp_of_call : ('a, 'b) t -> ('a, 'b) Args.t -> Shexp_sexp.Std.Sexp.t

Return an s-expression representation of a primitive call

val sexp_of_result : ('a, 'b) t -> 'b -> Shexp_sexp.Std.Sexp.t option

Returns None if the result is Unit or Env