Module SExprBase

S-Expressions

This module defines S-expressions over arbitrary atoms. Use the functor Make to instantiate the type to a concrete type, see HStringSExpr.

author
Christoph Sticksel

(Incorporating code from the OCaml sexplib, which is part of the OCaml Core alternative standard library)

Functorized interface

module type SExprAtom = sig ... end

Signature of an S-expression atom as input for the functor Make

module type S = sig ... end

Output signature of the functor Make

module Make : functor (Atom : SExprAtom) -> S with type atom = Atom.t

Functor to make S-expressions of atoms of type atom