Module Ecaml__.Defun

include Ecaml__.Defun_intf.Defun
type 'a t
include Ecaml__.Defun_intf.Open_on_rhs with type a t := a t
type 'a t
val return : 'a ‑> 'a t
val map : 'a t ‑> f:('a ‑> 'b) ‑> 'b t
val both : 'a t ‑> 'b t ‑> ('a * 'b) t
val required : Ecaml.Symbol.t ‑> 'a Ecaml.Value.Type.t ‑> 'a t
val optional : Ecaml.Symbol.t ‑> 'a Ecaml.Value.Type.t ‑> 'a option t
val rest : Ecaml.Symbol.t ‑> 'a Ecaml.Value.Type.t ‑> 'a list t
val optional_with_default : Ecaml.Symbol.t ‑> 'a ‑> 'a Ecaml.Value.Type.t ‑> 'a t
module Let_syntax : sig ... end
val defun : ?⁠docstring:string ‑> ?⁠interactive:string ‑> Core_kernel.Source_code_position.t ‑> 'a Ecaml.Value.Type.t ‑> Ecaml.Symbol.t ‑> 'a t ‑> unit
val defun_nullary : ?⁠docstring:string ‑> ?⁠interactive:string ‑> Core_kernel.Source_code_position.t ‑> 'a Ecaml.Value.Type.t ‑> Ecaml.Symbol.t ‑> (unit ‑> 'a) ‑> unit
val defun_nullary_nil : ?⁠docstring:string ‑> ?⁠interactive:string ‑> Core_kernel.Source_code_position.t ‑> Ecaml.Symbol.t ‑> (unit ‑> unit) ‑> unit
val lambda : ?⁠docstring:string ‑> ?⁠interactive:string ‑> Core_kernel.Source_code_position.t ‑> 'a Ecaml.Value.Type.t ‑> 'a t ‑> Ecaml.Function.t
val lambda_nullary : ?⁠docstring:string ‑> ?⁠interactive:string ‑> Core_kernel.Source_code_position.t ‑> 'a Ecaml.Value.Type.t ‑> (unit ‑> 'a) ‑> Ecaml.Function.t
val lambda_nullary_nil : ?⁠docstring:string ‑> ?⁠interactive:string ‑> Core_kernel.Source_code_position.t ‑> (unit ‑> unit) ‑> Ecaml.Function.t