package coq-serapi

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file ser_future.ml

1
2
3
4
type 'a computation = 'a Future.computation

let computation_of_sexp f x = Future.from_val (f x)
let sexp_of_computation f x = f Future.(force x)
OCaml

Innovation. Community. Security.