package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

dune-project

Dependency

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

Sourcetype state = {

}

Sourcemodule M : sig ... end

include module type of struct include M end

Sourceval get : unit -> state

Sourceval set : state -> unit

Sourceval modify : (state -> state) -> unit

Sourceval run : init:state -> (unit -> 'a) -> 'a

Sourceval register_printer : ([ `Get | `Set of state ] -> string option) -> unit