package mopsa

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

Module Sequential_cache.DomainSource

include sig ... end
val id : unit Core__Id.id
val name : string
Sourceval dependencies : 'a list
Sourceval checks : 'a list
Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
module Fctx : sig ... end
Sourceval find_signature : ('a, 'b) Mopsa.man -> Mopsa.MapExt.StringMap.key -> 'a Mopsa.Flow.flow -> ('a Mopsa.Flow.flow * ('a, Mopsa.expr) Mopsa.cases) option
Sourceval init : 'a -> 'b -> 'c Mopsa.Flow.flow -> 'c Mopsa.Post.post option
Sourceval split_cur_from_others : ('a, 'b) Mopsa.man -> 'a Mopsa.Flow.flow -> 'a Mopsa.Flow.flow * 'a Mopsa.Flow.flow
Sourceval eval : Mopsa.expr -> ('a, 'b) Mopsa.man -> 'a Mopsa.Flow.flow -> ('a, Ast.Expr.expr) Mopsa.Cases.cases option
Sourceval exec : 'a -> 'b -> 'c -> 'd option
Sourceval ask : 'a -> 'b -> 'c -> 'd option
Sourceval print_expr : 'a -> 'b -> 'c -> 'd -> unit
OCaml

Innovation. Community. Security.